| 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 |
| 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 |
| 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 | 43 | 2011 |
| A unifying perspective on knowledge updates M Slota, J Leite Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 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 | 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 | 15 | 2012 |
| Explicit dynamic user profiles for a collaborative filtering recommender system M Ilic, J Leite, M Slota Advances in Artificial Intelligence–IBERAMIA 2008: 11th Ibero-American …, 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 Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 11 | 2011 |
| EVOLP: An Implementation. M Slota, J Leite CLIMA, 288-298, 2007 | 9 | 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 Computational Logic in Multi-Agent Systems: 8th International Workshop …, 2008 | 6 | 2008 |
| On Supporting Strong and Default Negation in Answer-Set Program Updates M Slota, M Baláž, J Leite Advances in Artificial Intelligence--IBERAMIA 2014: 14th Ibero-American …, 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 LisboaVerified email at fct.unl.pt
