22nd International Workshop on Nonmonotonic Reasoning
Accepted Papers
Uri Andrews and Luca San Mauro. On computational problems for infinite argumentation frameworks: The complexity of finding acceptable extensions
Tuan Nguyen, Katsumi Inoue and Chiaki Sakama. Linear Algebraic Partial Evaluation of Logic Programs
Denis Maua, Fabio Cozman and Alexandro Garces. Probabilistic Logic Programming under the L-Stable Semantics
Dominik Klumpp and Jandson S. Ribeiro. Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm
Aaron Hunter. Reasoning about Simultaneous Change in Trust and Belief
Lukas Gerlach, David Carral and Markus Hecher. Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)
Jesse Heyninck, Matthias Knorr and Joao Leite. Abstract Dialectical Frameworks are Boolean Networks
Lars Bengel, Giovanni Buraglio, Jan Maly and Kenneth Skiba. An Extension-Based Argument-Ranking Semantics: Social Rankings in Abstract Argumentation
Johanna Wolff, Victor de Boer, Dirk Heylen and M. Birna van Riemsdijk. Defining an Adaptable Framework for Behaviour Support Agents in Default Logic
Piotr Gorczyca and Hannes Strass. Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
Kai Sauerwald and Juha Kontinen. A First Peek into Preferential Logics with Team Semantics
Marco Wilhelm, Alexander Hahn and Gabriele Kern-Isberner. Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification
Anna Rapberger, Markus Ulbricht and Francesca Toni. On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head
Atefeh Keshavarzi Zafarghandi and Patrick Koopmann. Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules
Christoph Beierle, Aron Spang and Jonas Philipp Haldimann. Using SAT and Partial MaxSAT for Reasoning with System Z and System W
Jesse Heyninck, Richard Booth and Thomas Meyer. The role of syntax in inductive inference: a property-based study
Yehia Hatab, Kai Sauerwald and Matthias Thimm. A Hitting Set Approach to Inconsistent-Tolerant Reasoning
Alexander Hahn, Gabriele Kern-Isberner and Thomas Meyer. Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics
Matti Berthold. On Syntactic Forgetting with relativized Strong Persistence
Ezgi Iraz Su. A Generalisation of Epistemic Splitting Property
