Следене
Martin Slota
Martin Slota
Postdoctoral researcher, Universidade Nova de Lisboa
Потвърден имейл адрес: fct.unl.pt - Начална страница
Заглавие
Позовавания
Позовавания
Година
Robust equivalence models for semantic updates of answer-set programs
M Slota, J Leite
Thirteenth International Conference on the Principles of Knowledge …, 2012
472012
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
442011
On semantic update operators for answer-set programs
M Slota, J Leite
ECAI 2010, 957-962, 2010
442010
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
432014
A unifying perspective on knowledge updates
M Slota, J Leite
European Workshop on Logics in Artificial Intelligence, 372-384, 2012
332012
On updates of hybrid knowledge bases composed of ontologies and rules
M Slota, J Leite, T Swift
Artificial Intelligence 229, 33-104, 2015
262015
Splitting and updating hybrid knowledge bases
M Slota, J Leite, T Swift
Theory and Practice of Logic Programming 11 (4-5), 801-819, 2011
252011
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
182014
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
172012
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
132008
Towards closed world reasoning in dynamic open worlds
M Slota, J Leite
Theory and Practice of Logic Programming 10 (4-6), 547-563, 2010
122010
Back and forth between rules and SE-models
M Slota, J Leite
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
112011
EVOLP: an implementation
M Slota, J Leite
International Workshop on Computational Logic in Multi-Agent Systems, 288-298, 2007
102007
On condensing a sequence of updates in answer-set programming
M Slota, J Leite
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
82013
Non-monotonic temporal goals
R Gonçalves, M Knorr, J Leite, M Slota
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
82013
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
82012
Updates of hybrid knowledge bases
M Slota
Universidade Nove de Lisboa PhD thesis, 2012
72012
Evolp: Tranformation-based semantics
M Slota, J Leite
International Workshop on Computational Logic in Multi-Agent Systems, 117-136, 2007
62007
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
52020
A brief history of updates of answer-set programs
J Leite, M Slota
Theory and Practice of Logic Programming 23 (1), 57-110, 2023
22023
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20