Abstract is missing.
- Metabolic Pathways as Temporal Logic ProgramsJean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro. 3-17 [doi]
- On Decidability of a Logic of GossipsKrzysztof R. Apt, Dominik Wojtczak. 18-33 [doi]
- Hilbert-Style Axiomatization for Hybrid XPath with DataCarlos Areces, Raul Fervari. 34-48 [doi]
- FL_0Franz Baader, Pavlos Marantidis, Alexander Okhotin. 49-63 [doi]
- Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity AnalysisJean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia. 64-80 [doi]
- Temporal Here and TherePhilippe Balbiani, Martín Diéguez. 81-96 [doi]
- On Logics of Group Belief in Structured CoalitionsPhilippe Balbiani, David Pearce 0001, Levan Uridia. 97-111 [doi]
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent SystemsFrancesco Belardinelli, Alessio Lomuscio. 112-126 [doi]
- A Relaxation of Internal Conflict and Defence in Weighted Argumentation FrameworksStefano Bistarelli, Fabio Rossi, Francesco Santini. 127-143 [doi]
- Decidability and Expressivity of Ockhamist Propositional Dynamic LogicsJoseph Boudou, Emiliano Lorini. 144-158 [doi]
- On the Expressiveness of Temporal Equilibrium LogicLaura Bozzelli, David Pearce 0001. 159-173 [doi]
- Introducing Role Defeasibility in Description LogicsKatarina Britz, Ivan José Varzinczak. 174-189 [doi]
- Opposition FrameworksCosmina Croitoru, Kurt Mehlhorn. 190-206 [doi]
- Prompt Interval Temporal LogicDario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala. 207-222 [doi]
- Exploiting Contextual Knowledge for Hybrid Classification of Visual ObjectsThomas Eiter, Tobias Kaminski. 223-239 [doi]
- Reasoning About Justified Belief Based on the Fusion of EvidenceTuan-Fang Fan, Churn-Jung Liau. 240-255 [doi]
- Writing Declarative Specifications for ClausesMartin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi. 256-271 [doi]
- Standard Sequent Calculi for Lewis' Logics of CounterfactualsMarianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato. 272-287 [doi]
- Incremental Computation of Deterministic Extensions for Dynamic Argumentation FrameworksSergio Greco, Francesco Parisi. 288-304 [doi]
- Revising Possibilistic Knowledge Bases via Compatibility DegreesYifan Jin, Kewen Wang, Zhe Wang, Zhiqiang Zhuang. 305-319 [doi]
- Proving Craig and Lyndon Interpolation Using Labelled Sequent CalculiRoman Kuznets. 320-335 [doi]
- Efficient Reasoning for Inconsistent Horn FormulaeJoao Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza. 336-352 [doi]
- Information Flow Under Budget ConstraintsPavel Naumov, Jia Tao. 353-368 [doi]
- A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model SemanticsMatthias Nickles. 369-384 [doi]
- Pakota: A System for Enforcement in Abstract ArgumentationAndreas Niskanen, Johannes Peter Wallner, Matti Järvisalo. 385-400 [doi]
- Kinetic Consistency and Relevance in Belief RevisionPavlos Peppas, Mary-Anne Williams. 401-414 [doi]
- DRAT Proofs for XOR ReasoningTobias Philipp, Adrian Rebola-Pardo. 415-429 [doi]
- Understanding the Abstract Dialectical FrameworkSylwia Polberg. 430-446 [doi]
- Extensional Semantics for Higher-Order Logic Programs with NegationPanos Rondogiannis, Ioanna Symeonidou. 447-462 [doi]
- Reactive Policies with Planning for Action LanguagesZeynep Gozen Saribatur, Thomas Eiter. 463-480 [doi]
- Correct Grounded Reasoning with Presumptive ArgumentsBart Verheij. 481-496 [doi]
- Characterizability in Horn Belief RevisionJon Yaggie, György Turán. 497-511 [doi]
- Formalizing Goal Serializability for Evaluation of Planning FeaturesReza Basseda, Michael Kifer. 515-521 [doi]
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric NetworksHarald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin. 522-528 [doi]
- Inconsistency Management in Reactive Multi-context SystemsGerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Jörg Pührer. 529-535 [doi]
- Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract)Patrick Doherty, Jonas Kvarnström, Andrzej Szalas. 536-542 [doi]
- Forgetting in ASP: The Forgotten PropertiesRicardo Gonçalves 0001, Matthias Knorr, João Leite. 543-550 [doi]
- On Hierarchical Task NetworksAndreas Herzig, Laurent Perrussel, Zhanhao Xiao. 551-557 [doi]
- Refinement of IntentionsAndreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang. 558-563 [doi]
- GenB: A General Solver for AGM RevisionAaron Hunter, Eric Tsang. 564-569 [doi]
- A Two-Phase Dialogue Game for Skeptical Preferred SemanticsZohreh Shams, Nir Oren. 570-576 [doi]
- Measuring Inconsistency in Answer Set ProgramsMarkus Ulbricht, Matthias Thimm, Gerhard Brewka. 577-583 [doi]