EVOLP: Tranformation-Based Semantics. - Martin Slota; João Leite 001 (CLIMA, 2007)

EVOLP: An Implementation. - Martin Slota; João Leite 001 (CLIMA, 2007)

Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. - Manoela Ilic; João Leite 001; Martin Slota (IBERAMIA, 2008)

Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics. - Manoela Ilic; João Leite 001; Martin Slota (Web Intelligence, 2008)

ERASP - a system for enhancing recommendations using answer-set programming. - Manoela Ilic; João Leite 001; Martin Slota (Int. J. Reason. based Intell. Syst., 2009)

On Semantic Update Operators for Answer-Set Programs. - Martin Slota; João Leite 001 (ECAI, 2010)

Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version) - Martin Slota; João Leite 001 (CoRR, 2010)

Towards closed world reasoning in dynamic open worlds. - Martin Slota; João Leite 001 (Theory Pract. Log. Program., 2010)

Normative Systems Represented as Hybrid Knowledge Bases. - Marco Alberti 001; Ana Sofia Gomes; Ricardo Gonçalves 001; João Leite 001; Martin Slota (CLIMA, 2011)

Back and Forth between Rules and SE-Models. - Martin Slota; João Leite 001 (LPNMR, 2011)

Back and Forth Between Rules and SE-Models (Extended Version) - Martin Slota; João Leite 001 (CoRR, 2011)

Splitting and Updating Hybrid Knowledge Bases (Extended Version) - Martin Slota; João Leite 001; Terrance Swift (CoRR, 2011)

Splitting and updating hybrid knowledge bases. - Martin Slota; João Leite 001; Terrance Swift (Theory Pract. Log. Program., 2011)

Normative systems require hybrid knowledge bases. - Marco Alberti 001; Matthias Knorr 001; Ana Sofia Gomes; João Leite 001; Ricardo Gonçalves 001; Martin Slota (AAMAS, 2012)

MKNF Knowledge Bases in Multi-Context Systems. - Martin Homola; Matthias Knorr 001; João Leite 001; Martin Slota (CLIMA, 2012)

A Unifying Perspective on Knowledge Updates. - Martin Slota; João Leite 001 (JELIA, 2012)

Robust Equivalence Models for Semantic Updates of Answer-Set Programs. - Martin Slota; João Leite 001 (KR, 2012)

Time Is Up! - Norms with Deadlines in Action Languages. - Matthias Knorr 001; Alfredo Gabaldon; Ricardo Gonçalves 001; João Leite 001; Martin Slota (CLIMA, 2013)

On Condensing a Sequence of Updates in Answer-Set Programming. - Martin Slota; João Leite 001 (IJCAI, 2013)

Non-monotonic Temporal Goals. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Martin Slota (LPNMR, 2013)

Early Recovery in Logic Program Updates. - Martin Slota; Martin Baláz; João Leite 001 (LPNMR, 2013)

On Supporting Strong and Default Negation in Answer-Set Program Updates. - Martin Slota; Martin Baláz; João Leite 001 (IBERAMIA, 2014)

On Strong and Default Negation in Logic Program Updates (Extended Version). - Martin Slota; Martin Baláz; João Leite 001 (CoRR, 2014)

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. - Matthias Knorr 001; Martin Slota; João Leite 001; Martin Homola (J. Log. Comput., 2014)

The rise and fall of semantic rule updates based on SE-models. - Martin Slota; João Leite 001 (Theory Pract. Log. Program., 2014)

On updates of hybrid knowledge bases composed of ontologies and rules. - Martin Slota; João Leite 001; Theresa Swift (Artif. Intell., 2015)

Exception-Based Knowledge Updates. - Martin Slota; João Leite 001 (CoRR, 2017)

A Brief History of Updates of Answer-Set Programs. - João Leite 001; Martin Slota (Theory Pract. Log. Program., 2023)