Martin Slota
Martin Slota
Postdoctoral researcher, Universidade Nova de Lisboa
Geverifieerd e-mailadres voor fct.unl.pt - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Robust equivalence models for semantic updates of answer-set programs
M Slota, J Leite
Thirteenth International Conference on the Principles of Knowledge …, 2012
432012
On Semantic Update Operators for Answer-Set Programs.
M Slota, J Leite
ECAI 215, 957-962, 2010
402010
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
382011
The rise and fall of semantic rule updates based on se-models
M Slota, J Leite
arXiv preprint arXiv:1306.3884, 2013
372013
A unifying perspective on knowledge updates
M Slota, J Leite
European Workshop on Logics in Artificial Intelligence, 372-384, 2012
282012
Splitting and Updating Hybrid Knowledge Bases (Extended Version)
M Slota, J Leite, T Swift
arXiv preprint arXiv:1105.0288, 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
Dynamic difficulty adjustment in tetris
D Lora, AA Sánchez-Ruiz, PA González-Calero, MA Gómez-Martín
The Twenty-Ninth International Flairs Conference, 2016
19*2016
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
122012
Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version)
M Slota, JÃ Leite
arXiv preprint arXiv:1004.4342, 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
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
52007
Non-monotonic Temporal Goals
R Gonçalves, M Knorr, J Leite, M Slota
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
42013
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
International Journal of Reasoning-based Intelligent Systems 1 (3-4), 147-163, 2009
22009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20