Abstract is missing.
- Possibilistic Logic: From Certainty-Qualified Statements to Two-Tiered Logics - A Prospective SurveyDidier Dubois, Henri Prade. 3-20 [doi]
- Vadalog: Recent Advances and ApplicationsGeorg Gottlob, Andreas Pieris, Emanuel Sallinger. 21-37 [doi]
- AGM Meets Abstract Argumentation: Contraction for Dung FrameworksRingo Baumann, Felix Linker. 41-57 [doi]
- A Possible World View and a Normal Form for the Constellation SemanticsStefano Bistarelli, Theofrastos Mantadelis. 58-68 [doi]
- Well-Foundedness in Weighted Argumentation FrameworksStefano Bistarelli, Francesco Santini 0001. 69-84 [doi]
- Multi-valued GRAPPAGerhard Brewka, Jörg Pührer, Stefan Woltran. 85-101 [doi]
- Empirical Study on Human Evaluation of Complex Argumentation FrameworksMarcos Cramer, Mathieu Guillaume. 102-115 [doi]
- Preprocessing Argumentation Frameworks via Replacement PatternsWolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran. 116-132 [doi]
- Manipulating Skeptical and Credulous Consequences When Merging BeliefsAdrian Haret, Johannes Peter Wallner. 133-150 [doi]
- Repairing Non-monotonic Knowledge BasesMarkus Ulbricht. 151-167 [doi]
- $${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and InheritanceMaría Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer. 171-181 [doi]
- Taking Defeasible Entailment Beyond Rational ClosureGiovanni Casini, Thomas Meyer, Ivan Varzinczak. 182-197 [doi]
- Typed Meta-interpretive Learning of Logic ProgramsRolf Morel, Andrew Cropper, C.-H. Luke Ong. 198-213 [doi]
- Explaining Actual Causation in Terms of Possible Causal ProcessesMarc Denecker, Bart Bogaerts 0001, Joost Vennekens. 214-230 [doi]
- Explaining Actual Causation via Reasoning About Actions and ChangeEmily C. LeBlanc, Marcello Balduccini, Joost Vennekens. 231-246 [doi]
- Advancements in Resource-Driven Substructural Defeasible LogicFrancesco Olivieri, Guido Governatori, Matteo Cristani. 247-258 [doi]
- SLD-Resolution Reduction of Second-Order Horn FragmentsSophie Tourret, Andrew Cropper. 259-276 [doi]
- Systematic Generation of Conditional Knowledge Bases up to Renaming and EquivalenceChristoph Beierle, Steven Kutsch. 279-286 [doi]
- Unifying Reasoning and Core-Guided Search for Maximum SatisfiabilityJeremias Berg, Matti Järvisalo. 287-303 [doi]
- Facets of Distribution Identities in Probabilistic Team SemanticsMiika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema. 304-320 [doi]
- EL Instance StoresFranz Baader, Francesco Kriegel, Adrian Nuradiansyah. 323-338 [doi]
- ALCLeonard Botha, Thomas Meyer, Rafael Peñaloza. 339-354 [doi]
- ELH^r -TerminologiesJieying Chen, Michel Ludwig, Yue Ma, Dirk Walther 0002. 355-370 [doi]
- ELH_\bot OntologiesStefan Borgwardt, Walter Forkel. 371-386 [doi]
- ALC with the Power-Set ConstructLaura Giordano 0001, Alberto Policriti. 387-398 [doi]
- Learning Description Logic Axioms from Discrete Probability Distributions over Description GraphsFrancesco Kriegel. 399-417 [doi]
- E\!L CaseAna Ozaki, Nicolas Troquard. 418-433 [doi]
- ALC^\mathsf ME Under the Principle of Maximum EntropyMarco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader. 434-449 [doi]
- Memory-Saving Evaluation Plans for DatalogCarlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari. 453-461 [doi]
- Chain Answer Sets for Logic Programs with Generalized AtomsMario Alviano, Wolfgang Faber 0001. 462-478 [doi]
- Algorithm Selection for Paracoherent Answer Set ComputationGiovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Luca Pulina, Francesco Ricca. 479-489 [doi]
- Extending Bell Numbers for Parsimonious Chase EstimationGiovanni Amendola, Cinzia Marte. 490-497 [doi]
- The Weak Completion Semantics Can Model Inferences of Individual Human ReasonersChristian Breu, Axel Ind, Julia Mertesdorf, Marco Ragni. 498-508 [doi]
- Lower Bound Founded Logic of Here-and-TherePedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn. 509-525 [doi]
- A Logic-Based Question Answering System for Cultural HeritageBernardo Cuteri, Kristian Reale, Francesco Ricca. 526-541 [doi]
- Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set ProgramsTobias Geibinger, Hans Tompits. 542-558 [doi]
- \mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural LanguageTobias Kain, Hans Tompits. 559-575 [doi]
- Abstraction for Non-ground Answer Set ProgramsZeynep Gozen Saribatur, Peter Schüller, Thomas Eiter. 576-592 [doi]
- The Hexlite Solver - Lightweight and Efficient Evaluation of HEX ProgramsPeter Schüller. 593-607 [doi]
- Epistemic Answer Set ProgrammingEzgi Iraz Su. 608-626 [doi]
- A Logic of Objective and Subjective OughtsAldo Iván Ramírez Abarca, Jan M. Broersen. 629-641 [doi]
- On the Complexity of Graded Modal Logics with ConverseBartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski 0001. 642-658 [doi]
- The Dynamic Logic of Policies and Contingent PlanningThomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel. 659-674 [doi]
- Interpolation and Beth Definability in Default LogicsValentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro. 675-691 [doi]
- Axiomatising Logics with Separating Conjunction and ModalitiesStéphane Demri, Raul Fervari, Alessio Mansutti. 692-708 [doi]
- Nested Sequents for the Logic of Conditional BeliefMarianna Girlando, Björn Lellmann, Nicola Olivetti. 709-725 [doi]
- Reasoning About Cognitive Attitudes in a Qualitative SettingEmiliano Lorini. 726-743 [doi]
- Computational Complexity of Core Fragments of Modal Logics T, K4, and S4Przemyslaw Andrzej Walega. 744-759 [doi]
- Axiomatic Systems and Topological Semantics for Intuitionistic Temporal LogicJoseph Boudou, Martín Diéguez, David Fernández Duque, Fabián Romero. 763-777 [doi]
- Interval Temporal Logic Decision Tree LearningAndrea Brunello, Guido Sciavicco, Ionel Eduard Stan. 778-793 [doi]
- Stable-Ordered Models for Propositional Theories with Order OperatorsJohannes Oetsch, Juan Carlos Nieves. 794-802 [doi]
- Cut-Free Calculi and Relational Semantics for Temporal STIT LogicsKees van Berkel 0002, Tim Lyon. 803-819 [doi]