| 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 |
| 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 |
| Normative systems represented as hybrid knowledge bases M Alberti, AS Gomes, R Gonçalves, J Leite, M Slota International Workshop on Computational Logic in Multi-Agent Systems, 330-346, 2011 | 42 | 2011 |
| On semantic update operators for answer-set programs M Slota, J Leite ECAI 2010, 957-962, 2010 | 42 | 2010 |
| A unifying perspective on knowledge updates M Slota, J Leite European Workshop on Logics in Artificial Intelligence, 372-384, 2012 | 32 | 2012 |
| On updates of hybrid knowledge bases composed of ontologies and rules M Slota, J Leite, T Swift Artificial Intelligence 229, 33-104, 2015 | 25 | 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 | 16 | 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 | 15 | 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 | 10 | 2011 |
| EVOLP: an implementation M Slota, J Leite International Workshop on Computational Logic in Multi-Agent Systems, 288-298, 2007 | 9 | 2007 |
| Non-monotonic temporal goals R Gonçalves, M Knorr, J Leite, M Slota International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013 | 8 | 2013 |
| 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 |
| MKNF knowledge bases in multi-context systems M Homola, M Knorr, J Leite, M Slota International Workshop on Computational Logic in Multi-Agent Systems, 146-162, 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 |
| On Supporting Strong and Default Negation in Answer-Set Program Updates M Slota, M Baláž, J Leite Ibero-American Conference on Artificial Intelligence, 41-53, 2014 | 2 | 2014 |
| Marrying stable models with belief update M Slota, J Leite Proceedings of the 13th International Workshop on Non-monotonic Reasoning …, 2010 | 2 | 2010 |
Joao LeiteUniversidade Nova de LisboaZweryfikowany adres z fct.unl.pt
