


default search action
22nd NMR 2024: Hanoi, Vietnam
- Nina Gierasimczuk, Jesse Heyninck:

Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024. CEUR Workshop Proceedings 3835, CEUR-WS.org 2024
Invited Talks
- Richard Booth:

Interval Orders and Biorders: Under-explored Playgrounds for NMR and Belief Revision (Invited Talk, Abstract). 1 - Sarah Alice Gaggl:

Navigating ASP Solution Spaces (Invited Talk, Abstract). 2
Regular Papers
- Uri Andrews, Luca San Mauro:

On Computational Problems for Infinite Argumentation Frameworks: The Complexity of Finding Acceptable Extensions. 3-13 - Tuan Nguyen, Katsumi Inoue, Chiaki Sakama:

Linear Algebraic Partial Evaluation of Logic Programs. 14-23 - Denis Deratani Mauá, Fábio G. Cozman, Alexandro Garces:

Probabilistic Logic Programming under the L-Stable Semantics. 24-33 - Dominik Klumpp, Jandson S. Ribeiro:

Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm. 34-43 - Aaron Hunter:

Reasoning about Simultaneous Change in Trust and Belief. 44-52 - Jesse Heyninck, Matthias Knorr, João Leite:

Abstract Dialectical Frameworks are Boolean Networks. 53-60 - Lars Bengel, Giovanni Buraglio, Jan Maly, Kenneth Skiba:

An Extension-Based Argument-Ranking Semantics: Social Rankings in Abstract Argumentation. 61-71 - Johanna Wolff, Victor de Boer, Dirk Heylen, M. Birna van Riemsdijk:

Defining an Adaptable Framework for Behaviour Support Agents in Default Logic. 72-82 - Piotr Gorczyca, Hannes Strass:

Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results. 83-93 - Kai Sauerwald, Juha Kontinen:

A First Peek into Preferential Logics with Team Semantics. 94-100 - Marco Wilhelm, Alexander Hahn, Gabriele Kern-Isberner:

Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification. 101-111 - Anna Rapberger, Markus Ulbricht, Francesca Toni:

On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head. 112-121 - Atefeh Keshavarzi Zafarghandi, Patrick Koopmann:

Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules. 122-131 - Christoph Beierle, Aron Spang, Jonas Haldimann:

Using SAT and Partial MaxSAT for Reasoning with System Z and System W. 132-141 - Jesse Heyninck, Richard Booth, Thomas Andreas Meyer:

The Role of Syntax in Inductive Inference: A Property-based Study. 142-151 - Yehia Hatab, Kai Sauerwald, Matthias Thimm:

A Hitting Set Approach to Inconsistent-Tolerant Reasoning. 152-161 - Alexander Hahn, Gabriele Kern-Isberner, Thomas Meyer:

Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics. 162-172 - Matti Berthold:

On Syntactic Forgetting with relativized Strong Persistence. 173-182
Extended Abstracts
- Lukas Gerlach, David Carral, Markus Hecher:

Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract). 183-186

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














