Get started
Author

Martin Slota

On Semantic Update Operators for Answer-Set Programs
2010 · Slota Martin, Leite João · Frontiers in artificial intelligence and applications · 36
Normative Systems Represented as Hybrid Knowledge Bases
2011 · Marco Alberti, Ana Sofia Gomes, et al. · Lecture notes in computer science · 34
Robust equivalence models for semantic updates of answer-set programs
2012 · Martin Slota, João Leite · 30
A Unifying Perspective on Knowledge Updates
2012 · Martin Slota, João Leite · Lecture notes in computer science · 25
On updates of hybrid knowledge bases composed of ontologies and rules
2015 · Martin Slota, João Leite, et al. · Artificial Intelligence · 19
PDF
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
2013 · M. Knorr, M. Slota, et al. · Journal of Logic and Computation · 15
Back and Forth between Rules and SE-Models
2011 · Martin Slota, João Leite · Lecture notes in computer science · 9
MKNF Knowledge Bases in Multi-Context Systems
2012 · Martin Homola, Matthias Knorr, et al. · Lecture notes in computer science · 7
On condensing a sequence of updates in answer-set programming
2013 · Martin Slota, João Leite · International Joint Conference on Artificial Intelligence · 5
EVOLP: An Implementation
2008 · Martin Slota, João Leite · Lecture notes in computer science · 5
Non-monotonic Temporal Goals
2013 · Ricardo Gonçalves, Matthias Knorr, et al. · Lecture notes in computer science · 4
Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System
2009 · M. Ilic, J. Leite, et al. · Lecture notes in computer science · 4
A Brief History of Updates of Answer-Set Programs
2022 · JOÃO LEITE, MARTIN SLOTA · Theory and Practice of Logic Programming · 3
PDF
EVOLP: Tranformation-Based Semantics
2008 · Martin Slota, João Leite · Lecture notes in computer science · 3
Exception-Based Knowledge Updates
2017 · Slota, Martin, Leite, Joao · arXiv (Cornell University) · 2
PDF
ERASP – a system for enhancing recommendations using answer-set programming
2009 · Manoela Ilic, Joao Leite, et al. · International Journal of Reasoning-based Intelligent Systems · 2
On Supporting Strong and Default Negation in Answer-Set Program Updates
2014 · Martin Slota, Martin Baláž, et al. · Lecture notes in computer science · 1
Time Is Up! – Norms with Deadlines in Action Languages
2013 · Matthias Knorr, Alfredo Gabaldon, et al. · Lecture notes in computer science · 1
On Strong and Default Negation in Logic Program Updates (Extended Version)
2014 · Slota, Martin, Baláz, Martin, et al. · arXiv (Cornell University)
PDF
Early Recovery in Logic Program Updates
2013 · Martin Slota, Martin Baláž, et al. · Lecture notes in computer science
Back and Forth Between Rules and SE-Models (Extended Version)
2011 · Slota, Martin, Leite, João · arXiv (Cornell University)
PDF
Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics
2008 · Manoela Ilic, João Leite, et al. · IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT)
Works count: 42
Citation count: 215
H-index: 8
I10-index: 7
Year
Topic
Type