Publications

2015

M. Slota, J. Leite, and T. Swift. On updates of hybrid knowledge bases composed of ontologies and rules. Artificial Intelligence, 229:33-104, 2015.

2014

M. Slota and J. Leite. The rise and fall of semantic rule updates based on SE-models. Theory and Practice of Logic Programming (TPLP), 14:869-907, 2014.

M. Knorr, M. Slota, M. Homola, and J. Leite. What if no hybrid reasoner is available? - Hybrid MKNF in multi-context systems. Journal of Logic and Computation (JLC), 24(6):1279-1311, 2014.

M. Slota, M. Baláž, and J. Leite. On supporting strong and default negation in answer-set program updates. In L.C.A. Bazzan, and K. Pichara, editors, Proceedings of the 14th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2014), pages 41-53, Santiago de Chile, Chile, November 24-27 2014. Springer International Publishing.

M. Slota, M. Baláž, and J. Leite. On strong and default negation in logic program updates. In S. Konieczny, and H. Tompits, editors, Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR'14), Vienna, Austria, July 17-19 2014. INFSYS Research Report.

2013

M. Slota and J. Leite. On condensing a sequence of updates in answer-set programming. In F. Rossi, editor, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), Beijing, China, August 2013. AAAI Press.

R. Gonçalves, J. Leite, M. Knorr, and M. Slota. Non-monotonic temporal goals. In P. Cabalar and T.C. Son, editors, Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13), volume 8148 of Lecture Notes in Artificial Intelligence, pages 374-386. Springer-Verlag, 2013.

M. Slota, M. Baláž, and J. Leite. Early recovery in logic program updates. In P. Cabalar and T.C. Son, editors, Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13), volume 8148 of Lecture Notes in Artificial Intelligence, pages 512-517. Springer-Verlag, 2013.

M. Knorr, A. Gabaldon, R. Gonçalves, J. Leite, and M. Slota. Time is up! - norms with deadlines in action languages. In J. Leite, T.C. Son, P. Torroni, L. van der Torre, and S. Woltran, editors, Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV), volume 8143 of Lecture Notes in Computer Science, pages 223-238, Corunna, Spain, September 16-18 2013. Springer.

M. Knorr, A. Gabaldon, R. Gonçalves, J. Leite, and M. Slota. Towards action languages with norms and deadlines. In J. Ji, H. Strass, and X. Wang, editors, Proceedings of the 10th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'13), Beijing, China, August 2013.

2012

M. Slota. Updates of hybrid knowledge bases. PhD thesis, Universidade Nova de Lisboa, October 2012.

M. Slota and J. Leite. A unifying perspective on knowledge updates. In L. F. del Cerro, A. Herzig, and J. Mengin, editors, Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), pages 372-384, Toulouse, France, September 26 - 28 2012. Springer.

M. Homola, M. Knorr, J. Leite and M. Slota. MKNF knowledge bases in multi-context systems. In M. Fischer, L. van der Torre, M. Dastani, and G. Governatori, editors, Proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIII), pages 146-162, Montepellier, France, August 27 - 28 2012. Springer-Verlag.

M. Slota and J. Leite. Robust equivalence models for semantic updates of answer-set programs. In G. Brewka, T. Eiter, and S. A. McIlraith, editors, Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pages 158-168, Rome, Italy, June 10-14 2012. AAAI Press.

M. Alberti, A. S. Gomes, R. Gonçalves, M. Knorr, J. Leite, and M. Slota. Normative systems require hybrid knowledge bases (extended abstract). In W. van der Hoek, L. Padgham, V. Conitzer, and M. Winikoff, editors, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), pages 1425-1426, Valencia, Spain, June 4-8 2012. IFAAMAS.

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, Proceedings 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.