default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd 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.
last updated on 2025-11-17 22:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
