Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Robust equivalence models for semantic updates of answer-set programs
2012
jleite:kr2012
-
In proceedings
Martin Slota, João Alexandre Leite
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
-
AAAI Press
-
-
158-168
978-1-57735-560-1
-
-
http://centria.di.fct.unl.pt/~jleite/papers/kr12.pdf
Export formats
Martin Slota and João Alexandre Leite, Robust equivalence models for semantic updates of answer-set programs, , Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, AAAI Press, ISBN 978-1-57735-560-1, Pag. 158-168, (http://centria.di.fct.unl.pt/~jleite/papers/kr12.pdf), 2012.
<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>Robust equivalence models for semantic updates of answer-set programs</b>, <u>Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012</u>, AAAI Press, ISBN 978-1-57735-560-1, Pag. 158-168, (<a href="http://centria.di.fct.unl.pt/~jleite/papers/kr12.pdf" target="_blank">url</a>), 2012.
@inproceedings {jleite:kr2012, author = {Martin Slota and Jo{\~a}o Alexandre Leite}, title = {Robust equivalence models for semantic updates of answer-set programs}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012}, publisher = {AAAI Press}, pages = {158-168}, isbn = {978-1-57735-560-1}, url = {http://centria.di.fct.unl.pt/~jleite/papers/kr12.pdf}, year = {2012}, }
Publication's urls
/publications/view.php?code=9ca601b5cb3c359efe54b901e0a9af3b
/publications/view.php?code=jleite:kr2012
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT