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

Martin Slota, Martin Baláz, João Leite. On Supporting Strong and Default Negation in Answer-Set Program Updates. In Ana L. C. Bazzan, Karim Pichara, editors, Advances in Artificial Intelligence - IBERAMIA 2014 - 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings. Volume 8864 of Lecture Notes in Computer Science, pages 41-53, Springer, 2014. [doi]

Authors

Martin Slota

This author has not been identified. Look up 'Martin Slota' in Google

Martin Baláz

This author has not been identified. Look up 'Martin Baláz' in Google

João Leite

This author has not been identified. It may be one of the following persons: Look up 'João Leite' in Google