Abstract is missing.
- Complexity-Sensitive Decision Procedures for Abstract ArgumentationWolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran. [doi]
- Belief Revision within Fragments of Propositional LogicNadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran. [doi]
- A Generic Querying Algorithm for Greedy Sets of Existential RulesMichaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph. [doi]
- Robust Equivalence Models for Semantic Updates of Answer-Set ProgramsMartin Slota, João Leite. [doi]
- Weighted Attacks in Argumentation FrameworksSylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali. [doi]
- Generalized Ontology-Based Production SystemsRiccardo Rosati, Enrico Franconi. [doi]
- Logic Programs with Intensional FunctionsVladimir Lifschitz. [doi]
- Assertion Absorption in Object Queries over Knowledge BasesJiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell. [doi]
- On the Small-Scope Hypothesis for Testing Answer-Set ProgramsJohannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits. [doi]
- Worst-Case Optimal Reasoning with Forest Logic ProgramsCristina Feier. [doi]
- Exchanging Description Logic Knowledge BasesMarcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov. [doi]
- Bounded Situation Calculus Action Theories and Decidable VerificationGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. [doi]
- Modelling Time and Reliability in Structured Argumentation FrameworksMaximiliano Celmo Budán, Mauro Javier Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari. [doi]
- Efficiently Computable Datalog∃ ProgramsNicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri. [doi]
- Stable Models of Formulas with Intensional FunctionsMichael Bartholomew, Joohyung Lee. [doi]
- JASP: A Framework for Integrating Answer Set Programming with JavaOnofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca. [doi]
- Query Containment in Description Logics ReconsideredMeghyn Bienvenu, Carsten Lutz, Frank Wolter. [doi]
- An Abstraction Technique for the Verification of Artifact-Centric SystemsFrancesco Belardinelli, Alessio Lomuscio, Fabio Patrizi. [doi]
- Towards Parallel Nonmonotonic Reasoning with Billions of FactsIlias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas. [doi]
- Horn Belief Contraction: Remainders, Envelopes and ComplexityKira V. Adaricheva, Robert H. Sloan, Balázs Szörényi, György Turán. [doi]
- Preface [doi]
- On Unit-Refutation Complete Formulae with Existentially Quantified VariablesLucas Bordeaux, Mikolás Janota, João P. Marques Silva, Pierre Marquis. [doi]
- Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision FrameworkJianbing Ma, Salem Benferhat, Weiru Liu. [doi]
- Ranking Sets of Possibly Interacting Objects Using Shapley ExtensionsStefano Moretti, Alexis Tsoukiàs. [doi]
- Stable Models in Generalized Possibilistic LogicDidier Dubois, Henri Prade, Steven Schockaert. [doi]
- A Bipolar Framework for Combining Beliefs about Vague PropositionsJonathan Lawry, Didier Dubois. [doi]
- Conference Committee [doi]
- Ambiguous Language and Differences in BeliefsJoseph Y. Halpern, Willemien Kets. [doi]
- Acyclicity Conditions and their Application to Query Answering in Description LogicsBernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang. [doi]
- From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASPChitta Baral, Shanshan Liang. [doi]
- Answer Set Programming via Mixed Integer ProgrammingGuohua Liu, Tomi Janhunen, Ilkka Niemelä. [doi]
- Compositional Belief MergingPatricia Everaere, Sébastien Konieczny, Pierre Marquis. [doi]
- Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that TranslationChitta Baral, Juraj Dzifcak. [doi]
- Area Chairs and Program Committee [doi]
- Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set ProgrammingVinay K. Chaudhri, Tran Cao Son. [doi]
- Temporal Composite Actions with ConstraintsPatrick Doherty, Jonas Kvarnström, Andrzej Szalas. [doi]
- An Axiomatic Framework for Influence Diagram Computation with Partially Ordered UtilitiesNic Wilson, Radu Marinescu. [doi]
- Belief Revision with Sensing and Fallible ActionsJames P. Delgrande, Hector J. Levesque. [doi]
- An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic ELCarsten Lutz, Inanç Seylan, Frank Wolter. [doi]
- Achieving Completeness in Bounded Model Checking of Action Theories in ASPLaura Giordano, Alberto Martelli, Daniele Theseider Dupré. [doi]
- Declarative Entity Resolution via Matching Dependencies and Answer Set ProgramsZeinab Bahmani, Leopoldo E. Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan. [doi]
- Model Based Horn ContractionZhi Qiang Zhuang, Maurice Pagnucco. [doi]
- Efficient Argumentation for Medical Decision-MakingRobert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams. [doi]
- Forgetting in Logic Programs under Strong EquivalenceYisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang. [doi]
- Ordered Epistemic Logic: Semantics, Complexity and ApplicationsHanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker. [doi]
- Conjunctive Query Answering with OWL 2 QLStanislav Kikot, Roman Kontchakov, Michael Zakharyaschev. [doi]
- Practical Reasoning with Nominals in the EL Family of Description LogicsYevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik. [doi]
- Stream Reasoning with Answer Set Programming: Preliminary ReportMartin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub. [doi]
- Conflict-Based Diagnosis of Discrete Event Systems: Theory and PracticeAlban Grastien, Patrik Haslum, Sylvie Thiébaux. [doi]
- High Performance Query Answering over DL-Lite OntologiesMariano Rodriguez-Muro, Diego Calvanese. [doi]
- Compactness and Its Implications for Qualitative Spatial and Temporal ReasoningJinbo Huang. [doi]
- The Complexity of Explaining Negative Query Answers in DL-LiteDiego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni. [doi]
- Fixed-Parameter Algorithms for Finding Minimal ModelsMartin Lackner, Andreas Pfandler. [doi]
- Strong Equivalence of Qualitative Optimization ProblemsWolfgang Faber, Miroslaw Truszczynski, Stefan Woltran. [doi]
- Thinking Inside the Box: A Comprehensive Spatial Representation for Video AnalysisAnthony G. Cohn, Jochen Renz, Muralikrishna Sridhar. [doi]
- The Winograd Schema ChallengeHector J. Levesque, Ernest Davis, Leora Morgenstern. [doi]
- Paradoxes of Multiple Elections: An Approximation ApproachVincent Conitzer, Lirong Xia. [doi]
- Abstract Normative Systems: Semantics and Proof TheorySilvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata. [doi]
- Paraconsistent Hybrid TheoriesMichael Fink. [doi]
- Undecidability of Fuzzy Description LogicsStefan Borgwardt, Rafael Peñaloza. [doi]
- Automated Verification of Epistemic Properties for General Game PlayingSebastian Haufe, Michael Thielscher. [doi]
- Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based PredictionHenri Prade, Gilles Richard. [doi]
- Only-Knowing Meets Nonmonotonic Modal LogicGerhard Lakemeyer, Hector J. Levesque. [doi]
- Rewriting Ontological Queries into Small Nonrecursive Datalog ProgramsGeorg Gottlob, Thomas Schwentick. [doi]
- Abstracting Abstraction in Search with Applications to PlanningChrister Bäckström, Peter Jonsson. [doi]
- Extending Unification in EL Towards General TBoxesFranz Baader, Stefan Borgwardt, Barbara Morawska. [doi]
- Credibility-Limited Revision Operators in Propositional LogicRichard Booth, Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez. [doi]
- Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable EnvironmentsPaolo Felli, Giuseppe De Giacomo, Alessio Lomuscio. [doi]
- Search Strategy Simulation in Constraint BooleanizationJinbo Huang. [doi]
- Implicit Constraints for Qualitative Spatial and Temporal ReasoningJochen Renz. [doi]
- Lecture in Remembrance of John McCarthyLeora Morgenstern. [doi]
- Non-Uniform Data Complexity of Query Answering in Description LogicsCarsten Lutz, Frank Wolter. [doi]
- Ontology Evolution Under Semantic ConstraintsBernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov. [doi]
- Justification Masking in OntologiesMatthew Horridge, Bijan Parsia, Ulrike Sattler. [doi]
- Fixpoints and Iterated Updates in Abstract ArgumentationDavide Grossi. [doi]
- Invited Talks [doi]