Papers in proceedings

• Martin Slota, 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.
• Martin Slota, Martin Balaz and João Alexandre Leite, On Strong and Default Negation in Logic Program Updates, Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), INFSYS Research Report, 2014.