Martin Slota

According to our database, Martin Slota authored at least 28 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Brief History of Updates of Answer-Set Programs.

João Leite, Martin Slota

Theory Pract. Log. Program., 2023

2017

Exception-Based Knowledge Updates.

Martin Slota, João Leite

CoRR, 2017

2015

On updates of hybrid knowledge bases composed of ontologies and rules.

Martin Slota, João Leite, Theresa Swift

Artif. Intell., 2015

2014

The rise and fall of semantic rule updates based on SE-models.

Martin Slota, João Leite

Theory Pract. Log. Program., 2014

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems.

Matthias Knorr, Martin Slota, João Leite, Martin Homola

J. Log. Comput., 2014

On Strong and Default Negation in Logic Program Updates (Extended Version).

Martin Slota, Martin Baláz, João Leite

CoRR, 2014

On Supporting Strong and Default Negation in Answer-Set Program Updates.

Martin Slota, Martin Baláz, João Leite

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2014, 2014

2013

Early Recovery in Logic Program Updates.

Martin Slota, Martin Baláz, João Leite

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Non-monotonic Temporal Goals.

Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

On Condensing a Sequence of Updates in Answer-Set Programming.

Martin Slota, João Leite

Proceedings of the IJCAI 2013, 2013

Time Is Up! - Norms with Deadlines in Action Languages.

Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

Robust Equivalence Models for Semantic Updates of Answer-Set Programs.

Martin Slota, João Leite

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

A Unifying Perspective on Knowledge Updates.

Martin Slota, João Leite

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

MKNF Knowledge Bases in Multi-Context Systems.

Martin Homola, Matthias Knorr, João Leite, Martin Slota

Proceedings of the Computational Logic in Multi-Agent Systems, 2012

Normative systems require hybrid knowledge bases.

Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Splitting and updating hybrid knowledge bases.

Martin Slota, João Leite, Terrance Swift

Theory Pract. Log. Program., 2011

Splitting and Updating Hybrid Knowledge Bases (Extended Version)

Martin Slota, João Leite, Terrance Swift

CoRR, 2011

Back and Forth Between Rules and SE-Models (Extended Version)

Martin Slota, João Leite

CoRR, 2011

Back and Forth between Rules and SE-Models.

Martin Slota, João Leite

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Normative Systems Represented as Hybrid Knowledge Bases.

Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Towards closed world reasoning in dynamic open worlds.

Martin Slota, João Leite

Theory Pract. Log. Program., 2010

Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version)

Martin Slota, João Leite

CoRR, 2010

On Semantic Update Operators for Answer-Set Programs.

Martin Slota, João Leite

Proceedings of the ECAI 2010, 2010

2009

ERASP - a system for enhancing recommendations using answer-set programming.

Manoela Ilic, João Leite, Martin Slota

Int. J. Reason. based Intell. Syst., 2009

2008

Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics.

Manoela Ilic, João Leite, Martin Slota

Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System.

Manoela Ilic, João Leite, Martin Slota

Proceedings of the Advances in Artificial Intelligence, 2008

2007

EVOLP: An Implementation.

Martin Slota, João Leite

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

EVOLP: Tranformation-Based Semantics.

Martin Slota, João Leite

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007