Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
On Condensing a Sequence of Updates in Answer-Set Programming
Publication date:
2013
Citation:
jleite:ijcai13
Abstract:
-
In proceedings
Authors:
Martin Slota
,
João Alexandre Leite
Editors:
Francesca Rossi
Book title:
IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
Series:
-
Publisher:
IJCAI/AAAI
Address:
-
Volume:
-
Pages:
1094-1103
ISBN:
978-1-57735-633-2
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
Martin Slota and João Alexandre Leite, On Condensing a Sequence of Updates in Answer-Set Programming, in: Francesca Rossi (eds), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, IJCAI/AAAI, ISBN 978-1-57735-633-2, Pag. 1094-1103, 2013.
HTML:
<a href="/people/members/view.php?code=ba97853dc6d77decebfb5c3058094b25" class="author">Martin Slota</a> and <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="author">João Alexandre Leite</a>, <b>On Condensing a Sequence of Updates in Answer-Set Programming</b>, in: Francesca Rossi (eds), <u>IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013</u>, IJCAI/AAAI, ISBN 978-1-57735-633-2, Pag. 1094-1103, 2013.
BibTeX:
@inproceedings {jleite:ijcai13, author = {Martin Slota and Jo{\~a}o Alexandre Leite}, editor = {Francesca Rossi}, title = {On Condensing a Sequence of Updates in Answer-Set Programming}, booktitle = {IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, publisher = {IJCAI/AAAI}, pages = {1094-1103}, isbn = {978-1-57735-633-2}, year = {2013}, }
Publication's urls
Full url:
/publications/view.php?code=91ac0073822f3cf8da8326138fd50d85
Friendly url:
/publications/view.php?code=jleite:ijcai13
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541
