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 Supporting Strong and Default Negation in Answer-Set Program Updates
Publication date:
2014
Citation:
DBLP:conf/lpnmr/SlotaBL13
Abstract:
-
In proceedings
Authors:
Martin Slota
, Martin Balaz,
João Alexandre Leite
Editors:
Ana Bazzan, Karim Pichara
Book title:
Advances in Artificial Intelligence - IBERAMIA 2014 - 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014. Proceedings
Series:
Lecture Notes in Computer Science
Publisher:
Springer
Address:
-
Volume:
8864
Pages:
-
ISBN:
978-3-319-12026-3
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
Martin Slota and Martin Balaz and João Alexandre Leite, On Supporting Strong and Default Negation in Answer-Set Program Updates, in: Ana Bazzan and Karim Pichara (eds), Advances in Artificial Intelligence - IBERAMIA 2014 - 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8864, ISBN 978-3-319-12026-3, 2014.
HTML:
<a href="/people/members/view.php?code=ba97853dc6d77decebfb5c3058094b25" class="author">Martin Slota</a>, Martin Balaz and <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="author">João Alexandre Leite</a>, <b>On Supporting Strong and Default Negation in Answer-Set Program Updates</b>, in: Ana Bazzan and Karim Pichara (eds), <u>Advances in Artificial Intelligence - IBERAMIA 2014 - 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014. Proceedings</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 8864, ISBN 978-3-319-12026-3, 2014.
BibTeX:
@inproceedings {DBLP:conf/lpnmr/SlotaBL13, author = {Martin Slota and Martin Balaz and Jo{\~a}o Alexandre Leite}, editor = {Ana Bazzan and Karim Pichara}, title = {On Supporting Strong and Default Negation in Answer-Set Program Updates}, booktitle = {Advances in Artificial Intelligence - IBERAMIA 2014 - 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {8864}, isbn = {978-3-319-12026-3}, year = {2014}, }
Publication's urls
Full url:
/publications/view.php?code=95cd6b165c5313adb587c57337ea289a
Friendly url:
/publications/view.php?code=DBLP:conf/lpnmr/SlotaBL13
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