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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

2012

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

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX [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.
PDF BibTeX [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.
PDF BibTeX

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.
PDF BibTeX [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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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.
PDF BibTeX

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