Martin Slota
Martin Slota
Postdoctoral researcher, Universidade Nova de Lisboa
Verified email at fct.unl.pt - Homepage
TitleCited byYear
On Semantic Update Operators for Answer-Set Programs.
M Slota, J Leite
ECAI 215, 957-962, 2010
402010
Robust equivalence models for semantic updates of answer-set programs
M Slota, J Leite
Thirteenth International Conference on the Principles of Knowledge …, 2012
392012
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
392011
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
322014
A unifying perspective on knowledge updates
M Slota, J Leite
European Workshop on Logics in Artificial Intelligence, 372-384, 2012
262012
Splitting and updating hybrid knowledge bases
M Slota, J Leite, T Swift
Theory and Practice of Logic Programming 11 (4-5), 801-819, 2011
212011
On updates of hybrid knowledge bases composed of ontologies and rules
M Slota, J Leite, T Swift
Artificial Intelligence 229, 33-104, 2015
172015
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
152014
On condensing a sequence of updates in answer-set programming
M Slota, J Leite
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
13*2013
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
112012
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
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
102008
Back and Forth between Rules and SE-Models
M Slota, J Leite
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
92011
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
EVOLP: an implementation
M Slota, J Leite
International Workshop on Computational Logic in Multi-Agent Systems, 288-298, 2007
72007
Evolp: Tranformation-based semantics
M Slota, J Leite
International Workshop on Computational Logic in Multi-Agent Systems, 117-136, 2007
52007
Non-monotonic Temporal Goals
R Gonçalves, M Knorr, J Leite, M Slota
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
42013
Updates of hybrid knowledge bases
M Slota
Ph. D. Dissertation, Universidade Nova de Lisboa, 2012
42012
Marrying stable models with belief update
M Slota, J Leite
Proceedings of the 13th International Workshop on Non-monotonic Reasoning …, 2010
22010
ERASP-a system for enhancing recommendations using answer-set programming.
M Ilic, J Leite, M Slota
IJRIS 1 (3/4), 147-163, 2009
22009
The system can't perform the operation now. Try again later.
Articles 1–20