Abstract is missing.
- Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric ModelsRégis Alenda, Nicola Olivetti. 1-13 [doi]
- Nested Sequent Calculi for Conditional LogicsRégis Alenda, Nicola Olivetti, Gian Luca Pozzato. 14-27 [doi]
- Conflict-Tolerant Semantics for Argumentation FrameworksOfer Arieli. 28-40 [doi]
- Knowledge Means 'All', Belief Means 'Most'Dimitris Askounis, Costas D. Koutras, Yorgos Zikos. 41-53 [doi]
- Generalized DEL-SequentsGuillaume Aucher, Bastien Maubert, François Schwarzentruber. 54-66 [doi]
- Deciding the Bisimilarity Relation between Datalog GoalsPhilippe Balbiani, Antoun Yaacoub. 67-79 [doi]
- Inconsistency Management for Traffic Regulations: Formalization and Complexity ResultsHarald Beck, Thomas Eiter, Thomas Krennwallner. 80-93 [doi]
- Conditional Epistemic PlanningMikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen. 94-106 [doi]
- PTL: A Propositional Typicality LogicRichard Booth, Thomas Meyer, Ivan José Varzinczak. 107-119 [doi]
- The Complexity of One-Agent Refinement Modal LogicLaura Bozzelli, Hans P. van Ditmarsch, Sophie Pinchinat. 120-133 [doi]
- The View-Update Problem for Indefinite DatabasesLuciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano. 134-146 [doi]
- Three-Valued Logics for Incomplete Information and Epistemic LogicDavide Ciucci, Didier Dubois. 147-159 [doi]
- Exploiting Unfounded Sets for HEX-Program EvaluationThomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller. 160-175 [doi]
- Using Satisfiability for Non-optimal Temporal PlanningMasood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani. 176-188 [doi]
- How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic LogicMarc Finthammer, Christoph Beierle. 189-201 [doi]
- Exact Query Reformulation with First-Order Ontologies and DatabasesEnrico Franconi, Volha Kerhet, Nhung Ngo. 202-214 [doi]
- A Selective Semantics for Logic Programs with PreferencesAlfredo Gabaldon. 215-227 [doi]
- A Minimal Model Semantics for Nonmonotonic ReasoningLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. 228-241 [doi]
- Extending a Temporal Defeasible Argumentation Framework with Possibilistic WeightsLluis Godo, Enrico Marchioni, Pere Pardo. 242-254 [doi]
- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional NegligibilityJoanna Golinska-Pilarek. 255-266 [doi]
- Fault Tolerance in Belief Formation NetworksSarah Holbrook, Pavel Naumov. 267-280 [doi]
- Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane InferenceNaoya Inoue, Kentaro Inui. 281-293 [doi]
- Belief Base Change Operations for Answer Set ProgrammingPatrick Krümpelmann, Gabriele Kern-Isberner. 294-306 [doi]
- A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -ConceptsKarsten Lehmann, Anni-Yasmin Turhan. 307-319 [doi]
- Sequent Systems for Lewis' Conditional LogicsBjörn Lellmann, Dirk Pattinson. 320-332 [doi]
- Relevant Minimal Change in Belief UpdateLaurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin, Dongmo Zhang. 333-345 [doi]
- Minimal Proof Search for Modal Logic K Model CheckingAbdallah Saffidine. 346-358 [doi]
- Building an Epistemic Logic for ArgumentationFrançois Schwarzentruber, Srdjan Vesic, Tjitze Rienstra. 359-371 [doi]
- A Unifying Perspective on Knowledge UpdatesMartin Slota, João Leite. 372-384 [doi]
- Verifying Brahms Human-Robot Teamwork ModelsRichard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher. 385-397 [doi]
- On Satisfiability in ATL with Strategy ContextsNicolas Troquard, Dirk Walther. 398-410 [doi]
- Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based ArgumentsBart Verheij. 411-423 [doi]
- Beyond Maxi-Consistent Argumentation OperatorsSrdjan Vesic, Leendert van der Torre. 424-436 [doi]
- Reasoning about Agent Programs Using ATL-Like LogicsNitin Yadav, Sebastian Sardiña. 437-449 [doi]
- Qualitative Approximate Behavior CompositionNitin Yadav, Sebastian Sardiña. 450-462 [doi]
- A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent InformationAnna Zamansky. 463-475 [doi]
- DebateWEL: An Interface for Debating with Enthymemes and Logical FormulasJulien Balax, Florence Dupin de Saint-Cyr, David Villard. 476-479 [doi]
- OMiGA : An Open Minded Grounding On-The-Fly Answer Set SolverMinh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl. 480-483 [doi]
- The Multi-Engine ASP Solver me-aspMarco Maratea, Luca Pulina, Francesco Ricca. 484-487 [doi]
- A System for the Use of Answer Set Programming in Reinforcement LearningMatthias Nickles. 488-491 [doi]
- The Tableau Prover Generator MetTeL2Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi. 492-495 [doi]