conftrace_

non-monotonic reasoning

26 papers

Explore in graph

Also known as

NMR

Co-occurring keywords

answer set programming (97) knowledge representation (301) logic programming (50) belief revision (52) logical reasoning (310) argumentation framework (50) belief change (11) modal logic (55) formal semantics (35) large language model (13587)

Papers

Non-Monotonic S4F Standpoint Logic AAAI 2026
A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds IJCAI 2025
MultiLogicNMR(er): A Benchmark and Neural-Symbolic Framework for Non-monotonic Reasoning with Multiple Extensions EMNLP 2025
Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024
Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models EMNLP 2024
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming AAAI 2024
Description Logics with Pointwise Circumscription IJCAI 2023
Back to the Future: Toward a Hybrid Architecture for Ad Hoc Teamwork AAAI 2023
Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity AAAI 2023
LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models EMNLP 2022
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation IJCAI 2022
Lexicographic Entailment, Syntax Splitting and the Drowning Problem IJCAI 2022
Simulating Sets in Answer Set Programming IJCAI 2022
Inconsistency Measurement for Paraconsistent Inference IJCAI 2021
Abstract Argumentation Frameworks with Domain Assignments IJCAI 2021
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) IJCAI 2020
Forgetting an Argument AAAI 2020
A Fully Rational Account of Structured Argumentation Under Resource Bounds IJCAI 2020
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies AAAI 2020
Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory AAAI 2019
Belief Change and Non-Monotonic Reasoning Sans Compactness AAAI 2019
Extension Removal in Abstract Argumentation – An Axiomatic Approach AAAI 2019
Relevance in Structured Argumentation IJCAI 2018
Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract) IJCAI 2018
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory IJCAI 2017