Publications

2011

M. Alberti, A. S. Gomes, R. Gonçalves, J. Leite, and M. Slota. Normative systems represented as hybrid knowledge bases. In J. Leite, P. Torroni, T. Ågotnes, G. Boella, and L. van der Torre, editors, Prooceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII), volume 6814 of Lecture Notes in Computer Science, pages 330-346, Barcelona, Spain, July 17-18 2011. Springer.

M. Slota, J. Leite, and T. Swift. Splitting and updating hybrid knowledge bases. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, 11(4-5):801-819, 2011.
[Extended version]

M. Slota and J. Leite. Back and forth between rules and SE-models. In J. P. Delgrande and W. Faber, editors, Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-11), volume 6645 of Lecture Notes in Computer Science, pages 174-186, Vancouver, Canada, May 16-19 2011. Springer.
[Extended version]

2010

M. Slota and J. Leite. On semantic update operators for answer-set programs. In H. Coelho, R. Studer, and M. Wooldridge, editors, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 957-962, Lisbon, Portugal, August 16-20 2010. IOS Press.

M. Slota and J. Leite. Towards Closed World Reasoning in Dynamic Open Worlds. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, 10(4-6):547-564, July 2010.
[Extended version]

M. Slota and J. Leite. Marrying stable models with belief update. In Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR 2010), 2010.

2009

M. Ilic, J. Leite, and M. Slota. ERASP - a system for enhancing recommendations using answer-set programming. International Journal of Reasoning-based Intelligent Systems (IJRIS), 1(3-4):147-163, 2009.

2008

M. Ilic, J. Leite, and M. Slota. Scalable dynamic user preferences for recommender systems through the use of the well-founded semantics. In L. Jain, P. Lingras, M. Klusch, J. Lu, C. Zhang, N. Cercone, and L. Cao, editors, Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence, pages 840-846. IEEE Computer Society, 2008.

M. Ilic, J. Leite, and M. Slota. Explicit dynamic user profiles for a collaborative filtering recommender system. In H. Geffner, R. Prada, I. M. Alexandre, and N. David, editors, Proceedings of the 11th Ibero-American Conference on Artificial Intelligence (IBERAMIA'08), volume LNAI 5290, pages 352-361. Springer-Verlag, 2008.

M. Slota and J. Leite. EVOLP: Transformation-based semantics. In F. Sadri and K. Satoh, editors, Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII), Porto, Portugal, September 10-11, 2007, volume LNAI 5056, pages 117-136. Springer-Verlag, 2008.

M. Slota and J. Leite. EVOLP: an implementation. In F. Sadri and K. Satoh, editors, Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII), Porto, Portugal, September 10-11, 2007, volume LNAI 5056, pages 288-298. Springer-Verlag, 2008. System description.

2007

M. Slota and J. Leite. Operational semantics for EVOLP. In F. Sadri and K. Satoh, editors, Pre-Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII), Porto, Portugal, September 10-11, 2007, pages 118-133, September 2007.

M. Slota and J. Leite. EVOLP – transformation-based implementation. In F. Sadri and K. Satoh, editors, Pre-Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII), Porto, Portugal, September 10-11, 2007, pages 290-294, 2007. System description.

M. Slota. Transformational semantics and implementation of evolving logic programs. Master's thesis, Univerzita Komenského, May 2007.