Abstract is missing.
- Graph-Classes of Argumentation Frameworks with Collective AttacksWolfgang Dvorák, Matthias König 0002, Stefan Woltran. 3-17 [doi]
- Introducing a Tool for Concurrent ArgumentationStefano Bistarelli, Carlo Taticchi. 18-24 [doi]
- Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-Pilar Dellunde, Lluís Godo, Amanda Vidal. 25-32 [doi]
- Conditional Descriptor Revision and Its Modelling by a CSPJonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle. 35-49 [doi]
- Trust Is All You Need: From Belief Revision to Information RevisionYasser Ammar, Haythem O. Ismail. 50-65 [doi]
- Computing Defeasible Meta-logicFrancesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar 0001. 69-84 [doi]
- Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection StrategiesJonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner. 85-100 [doi]
- An Epistemic Logic for Multi-agent Systems with Budget and CostsStefania Costantini, Andrea Formisano 0001, Valentina Pitoni. 101-115 [doi]
- Epistemic Reasoning About Rationality and Bids in AuctionsMunyque Mittelmann, Andreas Herzig, Laurent Perrussel. 116-130 [doi]
- Tractable Combinations of Theories via SamplingManuel Bodirsky, Johannes Greiner. 133-146 [doi]
- Analyzing Unit Read-Once Refutations in Difference Constraint SystemsK. Subramani, Piotr J. Wojciechowski. 147-161 [doi]
- Residuation for Soft Constraints: Lexicographic Orders and Approximation TechniquesFabio Gadducci, Francesco Santini 0001. 162-176 [doi]
- Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded FragmentBartosz Bednarczyk. 179-193 [doi]
- An Algebraic View on p-Admissible Concrete Domains for Lightweight Description LogicsFranz Baader, Jakub Rydval. 194-209 [doi]
- ReAD: AD-Based Modular Ontology ClassificationHaoruo Zhao, Bijan Parsia, Uli Sattler. 210-224 [doi]
- Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network ModelLaura Giordano 0001, Daniele Theseider Dupré. 225-242 [doi]
- A Computationally Grounded Logic of Graded BeliefEmiliano Lorini, François Schwarzentruber. 245-261 [doi]
- Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the RealsMiika Hannula, Jonni Virtema. 262-278 [doi]
- An Epistemic Probabilistic Logic with Conditional ProbabilitiesSejla Dautovic, Dragan Doder, Zoran Ognjanovic. 279-293 [doi]
- On Syntactic Forgetting Under Uniform EquivalenceRicardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite 0001. 297-312 [doi]
- Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASPGiulia Francescutto, Konstantin Schekotihin, Mohammed M. S. El-Kholany. 313-328 [doi]
- Tractable Reasoning Using Logic Programs with Intensional ConceptsJesse Heyninck, Ricardo Gonçalves 0001, Matthias Knorr, João Leite 0001. 329-345 [doi]
- Estimating Grounding Sizes of Logic Programs Under Answer Set SemanticsNicholas Hippen, Yuliya Lierler. 346-361 [doi]
- Testing in ASP: Revisited Language and Programming EnvironmentGiovanni Amendola, Tobias Berei, Francesco Ricca. 362-376 [doi]
- An Abstract View on Optimizations in SAT and ASPYuliya Lierler. 377-392 [doi]
- Model Reconciliation in Logic ProgramsTran Cao Son, Van Nguyen, Stylianos Loukas Vasileiou, William Yeoh 0001. 393-406 [doi]
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-KtGiovanni Ciatto, Roberta Calegari, Andrea Omicini. 407-420 [doi]
- Transforming Gringo Rules into Formulas in a Natural WayVladimir Lifschitz. 421-434 [doi]
- DualGrounder: Lazy Instantiation via Clingo Multi-shot FrameworkYuliya Lierler, Justin Robbins. 435-441 [doi]
- A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning ProblemPierre Tassel, Mohamed Rbaia. 442-457 [doi]