Martin Slota
Martin Slota
Postdoctoral researcher, Universidade Nova de Lisboa
Verified email at fct.unl.pt - Homepage
Title
Cited by
Cited by
Year
Robust equivalence models for semantic updates of answer-set programs
M Slota, J Leite
Thirteenth International Conference on the Principles of Knowledge …, 2012
452012
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
422011
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
412014
On semantic update operators for answer-set programs
M Slota, J Leite
ECAI 2010, 957-962, 2010
412010
A unifying perspective on knowledge updates
M Slota, J Leite
European Workshop on Logics in Artificial Intelligence, 372-384, 2012
302012
Splitting and updating hybrid knowledge bases
M Slota, J Leite, T Swift
Theory and Practice of Logic Programming 11 (4-5), 801-819, 2011
232011
On updates of hybrid knowledge bases composed of ontologies and rules
M Slota, J Leite, T Swift
Artificial Intelligence 229, 33-104, 2015
222015
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
162014
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
152012
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
122008
Towards closed world reasoning in dynamic open worlds
M Slota, J Leite
Theory and Practice of Logic Programming 10 (4-6), 547-563, 2010
112010
Back and Forth between Rules and SE-Models
M Slota, J Leite
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
92011
EVOLP: an implementation
M Slota, J Leite
International Workshop on Computational Logic in Multi-Agent Systems, 288-298, 2007
92007
Non-monotonic temporal goals
R Gonçalves, M Knorr, J Leite, M Slota
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
82013
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
82012
On condensing a sequence of updates in answer-set programming
M Slota, J Leite
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
72013
Updates of hybrid knowledge bases
M Slota
Universidade Nove de Lisboa PhD thesis, 2012
62012
Evolp: Tranformation-based semantics
M Slota, J Leite
International Workshop on Computational Logic in Multi-Agent Systems, 117-136, 2007
62007
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
22014
Marrying stable models with belief update
M Slota, J Leite
Proceedings of the 13th International Workshop on Non-monotonic Reasoning …, 2010
22010
The system can't perform the operation now. Try again later.
Articles 1–20