Robust equivalence models for semantic updates of answer-set programs M Slota, J Leite Thirteenth International Conference on the Principles of Knowledge …, 2012 | 47 | 2012 |
Normative systems represented as hybrid knowledge bases M Alberti, AS Gomes, R Gonçalves, J Leite, M Slota Computational Logic in Multi-Agent Systems: 12th International Workshop …, 2011 | 44 | 2011 |
On semantic update operators for answer-set programs M Slota, J Leite ECAI 2010, 957-962, 2010 | 44 | 2010 |
The rise and fall of semantic rule updates based on se-models M Slota, J Leite Theory and Practice of Logic Programming 14 (6), 869-907, 2014 | 43 | 2014 |
A unifying perspective on knowledge updates M Slota, J Leite European Workshop on Logics in Artificial Intelligence, 372-384, 2012 | 34 | 2012 |
On updates of hybrid knowledge bases composed of ontologies and rules M Slota, J Leite, T Swift Artificial Intelligence 229, 33-104, 2015 | 26 | 2015 |
Splitting and updating hybrid knowledge bases M Slota, J Leite, T Swift Theory and Practice of Logic Programming 11 (4-5), 801-819, 2011 | 25 | 2011 |
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems M Knorr, M Slota, J Leite, M Homola Journal of Logic and Computation 24 (6), 1279-1311, 2014 | 18 | 2014 |
Normative systems require hybrid knowledge bases M Alberti, M Knorr, AS Gomes, J Leite, R Gonçalves, M Slota Proceedings of the 11th International Conference on Autonomous Agents and …, 2012 | 17 | 2012 |
Explicit dynamic user profiles for a collaborative filtering recommender system M Ilic, J Leite, M Slota Ibero-American Conference on Artificial Intelligence, 352-361, 2008 | 13 | 2008 |
Towards closed world reasoning in dynamic open worlds M Slota, J Leite Theory and Practice of Logic Programming 10 (4-6), 547-563, 2010 | 12 | 2010 |
Back and forth between rules and SE-models M Slota, J Leite International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 11 | 2011 |
EVOLP: an implementation M Slota, J Leite International Workshop on Computational Logic in Multi-Agent Systems, 288-298, 2007 | 10 | 2007 |
On condensing a sequence of updates in answer-set programming M Slota, J Leite Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 8 | 2013 |
Non-monotonic temporal goals R Gonçalves, M Knorr, J Leite, M Slota Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 8 | 2013 |
MKNF knowledge bases in multi-context systems M Homola, M Knorr, J Leite, M Slota Computational Logic in Multi-Agent Systems: 13th International Workshop …, 2012 | 8 | 2012 |
Updates of hybrid knowledge bases M Slota Universidade Nove de Lisboa PhD thesis, 2012 | 7 | 2012 |
Evolp: Tranformation-based semantics M Slota, J Leite International Workshop on Computational Logic in Multi-Agent Systems, 117-136, 2007 | 6 | 2007 |
Method for extending end user programming of an industrial robot with third party contributions EH Oestergaard, M Slota, R Wilterdink US Patent 10,850,393, 2020 | 5 | 2020 |
A brief history of updates of answer-set programs J Leite, M Slota Theory and Practice of Logic Programming 23 (1), 57-110, 2023 | 2 | 2023 |