Abstract is missing.
- Interval Orders and Biorders: Under-explored Playgrounds for NMR and Belief Revision (Invited Talk, Abstract)Richard Booth 0001. 1 [doi]
- Navigating ASP Solution Spaces (Invited Talk, Abstract)Sarah Alice Gaggl. 2 [doi]
- On Computational Problems for Infinite Argumentation Frameworks: The Complexity of Finding Acceptable ExtensionsUri Andrews, Luca San Mauro. 3-13 [doi]
- Linear Algebraic Partial Evaluation of Logic ProgramsTuan Nguyen, Katsumi Inoue, Chiaki Sakama. 14-23 [doi]
- Probabilistic Logic Programming under the L-Stable SemanticsDenis Deratani Mauá, Fábio Gagliardi Cozman, Alexandro Garces. 24-33 [doi]
- Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary RealmDominik Klumpp, Jandson S. Ribeiro. 34-43 [doi]
- Reasoning about Simultaneous Change in Trust and BeliefAaron Hunter 0001. 44-52 [doi]
- Abstract Dialectical Frameworks are Boolean NetworksJesse Heyninck, Matthias Knorr 0001, João Leite 0001. 53-60 [doi]
- An Extension-Based Argument-Ranking Semantics: Social Rankings in Abstract ArgumentationLars Bengel, Giovanni Buraglio, Jan Maly 0001, Kenneth Skiba. 61-71 [doi]
- Defining an Adaptable Framework for Behaviour Support Agents in Default LogicJohanna Wolff, Victor de Boer, Dirk Heylen, M. Birna van Riemsdijk. 72-82 [doi]
- Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary ResultsPiotr Gorczyca, Hannes Strass. 83-93 [doi]
- A First Peek into Preferential Logics with Team SemanticsKai Sauerwald, Juha Kontinen. 94-100 [doi]
- Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary ClassificationMarco Wilhelm, Alexander Hahn, Gabriele Kern-Isberner. 101-111 [doi]
- On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the HeadAnna Rapberger, Markus Ulbricht 0001, Francesca Toni. 112-121 [doi]
- Using ADFs for Inconsistency-Tolerant Query Answering with Existential RulesAtefeh Keshavarzi Zafarghandi, Patrick Koopmann. 122-131 [doi]
- Using SAT and Partial MaxSAT for Reasoning with System Z and System WChristoph Beierle, Aron Spang, Jonas Haldimann. 132-141 [doi]
- The Role of Syntax in Inductive Inference: A Property-based StudyJesse Heyninck, Richard Booth 0001, Thomas Andreas Meyer. 142-151 [doi]
- A Hitting Set Approach to Inconsistent-Tolerant ReasoningYehia Hatab, Kai Sauerwald, Matthias Thimm. 152-161 [doi]
- Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description LogicsAlexander Hahn, Gabriele Kern-Isberner, Thomas Meyer 0002. 162-172 [doi]
- On Syntactic Forgetting with relativized Strong PersistenceMatti Berthold. 173-182 [doi]
- Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)Lukas Gerlach 0002, David Carral, Markus Hecher. 183-186 [doi]