Martin Slota

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 4

Top Topics

Logic Program Updates

Top Venues

Theory Pract. Log. Program.

Publications

João Leite, Martin Slota
A Brief History of Updates of Answer-Set Programs. Theory Pract. Log. Program. 23 (1) (2023)
João Leite, Martin Slota
A Brief History of Updates of Answer-Set Programs. CoRR (2021)
Martin Slota, João Leite
Exception-Based Knowledge Updates. CoRR (2017)
Martin Slota, João Leite, Theresa Swift
On updates of hybrid knowledge bases composed of ontologies and rules. Artif. Intell. 229 (2015)
Martin Slota, Martin Baláz, João Leite
On Supporting Strong and Default Negation in Answer-Set Program Updates. IBERAMIA (2014)
Martin Slota, Martin Baláz, João Leite
On Strong and Default Negation in Logic Program Updates (Extended Version). CoRR (2014)
Martin Slota, João Leite
The rise and fall of semantic rule updates based on SE-models. Theory Pract. Log. Program. 14 (6) (2014)
Matthias Knorr, Martin Slota, João Leite, Martin Homola
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Log. Comput. 24 (6) (2014)
Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota
Non-monotonic Temporal Goals. LPNMR (2013)
Martin Slota, Martin Baláz, João Leite
Early Recovery in Logic Program Updates. LPNMR (2013)
Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota
Time Is Up! - Norms with Deadlines in Action Languages. CLIMA (2013)
Martin Slota, João Leite
On Condensing a Sequence of Updates in Answer-Set Programming. IJCAI (2013)
Martin Slota, João Leite
The Rise and Fall of Semantic Rule Updates Based on SE-Models. CoRR (2013)
Martin Homola, Matthias Knorr, João Leite, Martin Slota
MKNF Knowledge Bases in Multi-Context Systems. CLIMA (2012)
Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota
Normative systems require hybrid knowledge bases. AAMAS (2012)
Martin Slota, João Leite
A Unifying Perspective on Knowledge Updates. JELIA (2012)
Martin Slota, João Leite
Robust Equivalence Models for Semantic Updates of Answer-Set Programs. KR (2012)
Martin Slota, João Leite
Back and Forth between Rules and SE-Models. LPNMR (2011)
Martin Slota, João Leite, Terrance Swift
Splitting and Updating Hybrid Knowledge Bases (Extended Version) CoRR (2011)
Martin Slota, João Leite
Back and Forth Between Rules and SE-Models (Extended Version) CoRR (2011)
Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota
Normative Systems Represented as Hybrid Knowledge Bases. CLIMA (2011)
Martin Slota, João Leite, Terrance Swift
Splitting and updating hybrid knowledge bases. Theory Pract. Log. Program. 11 (4-5) (2011)
Martin Slota, João Leite
Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version) CoRR (2010)
Martin Slota, João Leite
On Semantic Update Operators for Answer-Set Programs. ECAI (2010)
Martin Slota, João Leite
Towards closed world reasoning in dynamic open worlds. Theory Pract. Log. Program. 10 (4-6) (2010)
Manoela Ilic, João Leite, Martin Slota
ERASP - a system for enhancing recommendations using answer-set programming. Int. J. Reason. based Intell. Syst. 1 (3/4) (2009)
Manoela Ilic, João Leite, Martin Slota
Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics. Web Intelligence (2008)
Manoela Ilic, João Leite, Martin Slota
Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA (2008)
Martin Slota, João Leite
EVOLP: An Implementation. CLIMA (2007)
Martin Slota, João Leite
EVOLP: Tranformation-Based Semantics. CLIMA (2007)