Martin Slota

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