non-monotonic reasoning

Non-Monotonic S4F Standpoint Logic AAAI 2026 A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds IJCAI 2025 An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025 A Sequent Calculus for Answer Set Entailment IJCAI 2025 MultiLogicNMR(er): A Benchmark and Neural-Symbolic Framework for Non-monotonic Reasoning with Multiple Extensions EMNLP 2025 Are LLMs classical or nonmonotonic reasoners? Lessons from generics ACL 2024 A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming AAAI 2024 Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024 Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation AAAI 2024 Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models EMNLP 2024 Back to the Future: Toward a Hybrid Architecture for Ad Hoc Teamwork AAAI 2023 Description Logics with Pointwise Circumscription IJCAI 2023 Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity AAAI 2023 Optimizing the Computation of Overriding in DLN (Extended Abstract) IJCAI 2023 Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 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 LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models EMNLP 2022 Simulating Sets in Answer Set Programming IJCAI 2022 Abstract Argumentation Frameworks with Domain Assignments IJCAI 2021 Focused Inference and System P AAAI 2021 Inconsistency Measurement for Paraconsistent Inference IJCAI 2021 InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions IJCAI 2021 Learning to Rationalize for Nonmonotonic Reasoning with Distant Supervision AAAI 2021 Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework AAAI 2021