Publications

On Supporting Strong and Default Negation in Answer-Set Program Updates

AuthID
P-00A-43T

Author(s)

Slota, M

Balaz, M

Leite, J

Editor(s)

Bazzan, ALC; Pichara, K

Document Type

Proceedings Paper

Year published

2014

Published

in ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014) in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743

Volume: 8864, Pages: 41-53 (13)

Conference

14Th Ibero-American Conference on Artificial Intelligence (Ai), Date: NOV 24-27, 2014, Location: Santiago, CHILE, Sponsors: Pontifica Univ Catolica, Ibero American Artificial Intelligence, Associacao Portuguesa Inteligencia Artificial, Asociacion Espanola Inteligencia Artificial, Sociedad Argentina Informatica, Sociedad Colombiana Computac, Sociedad Cubana Matematica Computac, Sociedad Iberoamericana Inteligencia Artificial, Sociedad Mexicana Inteligencia Artificial, Sociedade Brasileira Computacao, Sociedad Peruana Inteligencia Artificial

Indexing