Non-Monotonic Reasoning

From International Center for Computational Logic
Toggle side column

Non-Monotonic Reasoning

Entailment in classical logics (e.g. first-order predicate logic) is montone, that is, if a formula F follows from a set S of formulas, then F also follows from any superset of S.

Non-monotonic reasoning is concerned with entailment relations that do not satisfy monotonicity. Such relations can be used to model default assumptions (such as “delivery is free of charge unless stated otherwise”), rules with exceptions (e.g. “birds typically fly, but penguins do not fly”) or priorities between rules (e.g. federal law trumping state law).

The research area investigates the formal modelling of various approaches to non-monotonic reasoning, analyses and compares such entailment relations and also deals with implementations and applications, e.g. in knowledge representation, logic programming, legal reasoning, or Natural-Language Understanding.

Scientific Staff


Journal Articles


Proceedings Articles

Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Lukas Gerlach, David Carral, Markus Hecher
Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report)
In Kate Larson, eds., Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24, 3386-3394, August 2024. International Joint Conferences on Artificial Intelligence Organization
Details Download
Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Towards Propositional KLM-Style Defeasible Standpoint Logics
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5626-5633, 2022. AAAI Press
Details Download
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of AGM Revision for Tarskian Logics
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 95-110, September 2022. Springer
Details Download
Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
Simulating Sets in Answer Set Programming
In Luc De Raedt, eds., Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), 2634--2640, 2022. ijcai.org
Details Download
SECAI-SQUARE-SHORT.pdf

SECAI
School of Embedded Composite Artificial Intelligence

Semeco-logo.png

SEMECO-Q2
Secure Medical Microsystems and Communications: AI-assisted Regulatory Affairs for Medicine and Cybersecurity

Adf-bdd
Abstract Dialectical Frameworks solved with Binary Decision Diagrams