Abstract is missing.
- Skeptical Preferred Reasoning via Reducts in Abstract ArgumentationLars Bengel, Julian Sander, Matthias Thimm. 3-16 [doi]
- Splitting Assumption-Based Argumentation FrameworksGiovanni Buraglio. 17-31 [doi]
- On Strong Equivalence Notions in Logic Programming and Abstract ArgumentationGiovanni Buraglio, Wolfgang Dvorák, Stefan Woltran. 32-45 [doi]
- Similarity Measures for First-Order Logical ArgumentsVictor David, Jérôme Delobelle, Jean-Guy Mailly. 46-59 [doi]
- ABA Disputes in ASP: Advancing Argument Games through Multi-Shot SolvingMartin Diller, Piotr Gorczyca. 60-73 [doi]
- Reasoning about Chance: Proof Theory for Aleatoric LogicTim French. 74-85 [doi]
- Evaluating Novel Arguments in Case Models: Lessons from Belief Change and Abstract Argumentation for Case-based ReasoningWachara Fungwacharakorn, Guilherme Paulino-Passos, Bart Verheij, Ken Satoh. 86-98 [doi]
- Deontic ArgumentationGuido Governatori, Antonino Rotolo. 99-112 [doi]
- Kinematics Principles for Inductive Reasoning from Conditional Belief BasesAlexander Hahn 0001, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle. 113-127 [doi]
- Merging Marginalized Total PreordersAlexander Hahn 0001, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle. 128-141 [doi]
- Verification of General Games with QBF SolversYifan He 0008, Abdallah Saffidine, Michael Thielscher. 142-156 [doi]
- Autoformalisation Answer Set Programs for Scheduling Problems using Few-Shot Learning and Chain-of-ThoughtJesse Heyninck, Bart van Gool, Stefano Bromuri, Tjitze Rienstra. 157-168 [doi]
- Strategic Principles for Revising Ranking FunctionsGabriele Kern-Isberner, Alexander Hahn 0001, Lars-Phillip Spiegel, Christoph Beierle. 169-182 [doi]
- Using AFT to Characterize Shen and Eiter's Disjunctive Logic Program SemanticsSpencer Killen, Jia-Huai You. 183-195 [doi]
- Eliminating Unintended Stable Fixpoints in Approximation Fixpoint TheorySpencer Killen, Jia-Huai You. 196-209 [doi]
- Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial PerspectiveNicholas Leisegang, Giovanni Casini, Thomas Andreas Meyer. 210-224 [doi]
- Towards Flexible Criteria in the Revision of Boolean NetworksRafael Patronilo, Matthias Knorr, Joao Leite. 225-238 [doi]
- Toward Defeasible Reasoning Using Knowledge Compilation TechniquesLuke Slater, Thomas Meyer 0002, Jesse Heyninck. 239-252 [doi]
- Resolving Constraint-Induced Inconsistencies in ASP Using lambda-ExtensionsAndre Thevapalan, Gabriele Kern-Isberner. 253-266 [doi]
- On Minimal Inconsistent Signatures and their Application to Inconsistency MeasurementMatthias Thimm, Jandson S. Ribeiro, Dennis Peuter, Viorica Sofronie-Stokkermans. 267-280 [doi]
- The KLM Representation Theorem for System C, FormallyJonathan Walther, Kai Sauerwald, Jesse Heyninck. 281-294 [doi]
- Inference Operators for Argumentation Formalisms - The Case of Dung-style FrameworksRingo Baumann, Leon van der Torre. 295-299 [doi]
- On the Logic of Theory Base Change: Reformulation of Belief BasesEduardo L. Fermé, Andreas Herzig, Maria Vanina Martinez. 300-303 [doi]
- A Unifying Framework for Semiring-Based Constraint Logic Programming With NegationJeroen Paul Spaans, Jesse Heyninck. 304-307 [doi]