• 
  Conference Committee.
• 
  Area Chairs and Program Committee.
• 
  Preface.
• 
  Leora Morgenstern: Lecture in Remembrance of John McCarthy.
• 
  Invited Talks.

Answer Set Programming and Logic Programming

• 
  Michael Bartholomew, Joohyung Lee: Stable Models of Formulas with Intensional Functions.
• 
  Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri: Efficiently Computable Datalog∃ Programs.
• 
  Vladimir Lifschitz: Logic Programs with Intensional Functions.
• 
  Guohua Liu, Tomi Janhunen, Ilkka Niemelä: Answer Set Programming via Mixed Integer Programming.
• 
  Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits: On the Small-Scope Hypothesis for Testing Answer-Set Programs.

Argumentation

• 
  Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran: Complexity-Sensitive Decision Procedures for Abstract Argumentation.
• 
  Davide Grossi: Fixpoints and Iterated Updates in Abstract Argumentation.

Automated Reasoning and Computation

• 
  Lucas Bordeaux, Mikolás Janota, João P. Marques Silva, Pierre Marquis: On Unit-Refutation Complete Formulae with Existentially Quantified Variables.
• 
  Martin Lackner, Andreas Pfandler: Fixed-Parameter Algorithms for Finding Minimal Models.
• 
  Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph: A Generic Querying Algorithm for Greedy Sets of Existential Rules.

Belief Revision and Update

• 
  Kira V. Adaricheva, Robert H. Sloan, Balázs Szörényi, György Turán: Horn Belief Contraction: Remainders, Envelopes and Complexity.
• 
  Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez: Credibility-Limited Revision Operators in Propositional Logic.
• 
  Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran: Belief Revision within Fragments of Propositional Logic.
• 
  Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov: Ontology Evolution Under Semantic Constraints.
• 
  James P. Delgrande, Hector J. Levesque: Belief Revision with Sensing and Fallible Actions.
• 
  Martin Slota, João Leite: Robust Equivalence Models for Semantic Updates of Answer-Set Programs.
• 
  Zhi Qiang Zhuang, Maurice Pagnucco: Model Based Horn Contraction.

Decision Making and Reasoning about Preferences

• 
  Vincent Conitzer, Lirong Xia: Paradoxes of Multiple Elections: An Approximation Approach.
• 
  Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran: Strong Equivalence of Qualitative Optimization Problems.
• 
  Stefano Moretti, Alexis Tsoukiàs: Ranking Sets of Possibly Interacting Objects Using Shapley Extensions.
• 
  Nic Wilson, Radu Marinescu: An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities.

Description Logics

• 
  Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query Containment in Description Logics Reconsidered.
• 
  Stefan Borgwardt, Rafael Peñaloza: Undecidability of Fuzzy Description Logics.
• 
  Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang: Acyclicity Conditions and their Application to Query Answering in Description Logics.
• 
  Georg Gottlob, Thomas Schwentick: Rewriting Ontological Queries into Small Nonrecursive Datalog Programs.
• 
  Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik: Practical Reasoning with Nominals in the EL Family of Description Logics.
• 
  Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev: Conjunctive Query Answering with OWL 2 QL.
• 
  Carsten Lutz, Inanç Seylan, Frank Wolter: An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.
• 
  Carsten Lutz, Frank Wolter: Non-Uniform Data Complexity of Query Answering in Description Logics.
• 
  Mariano Rodriguez-Muro, Diego Calvanese: High Performance Query Answering over DL-Lite Ontologies.

Epistemic and Modal Logics

• 
  Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi: An Abstraction Technique for the Verification of Artifact-Centric Systems.
• 
  Joseph Y. Halpern, Willemien Kets: Ambiguous Language and Differences in Beliefs.
• 
  Sebastian Haufe, Michael Thielscher: Automated Verification of Epistemic Properties for General Game Playing.
• 
  Gerhard Lakemeyer, Hector J. Levesque: Only-Knowing Meets Nonmonotonic Modal Logic.
• 
  Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata: Abstract Normative Systems: Semantics and Proof Theory.
• 
  Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker: Ordered Epistemic Logic: Semantics, Complexity and Applications.

Inconsistency-Tolerant and Similarity-Based Reasoning

• 
  Zeinab Bahmani, Leopoldo E. Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan: Declarative Entity Resolution via Matching Dependencies and Answer Set Programs.
• 
  Michael Fink: Paraconsistent Hybrid Theories.
• 
  Henri Prade, Gilles Richard: Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction.

Knowledge Representation and Knowledge-Based Systems

• 
  Chitta Baral, Shanshan Liang: From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP.
• 
  Vinay K. Chaudhri, Tran Cao Son: Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming.
• 
  Riccardo Rosati, Enrico Franconi: Generalized Ontology-Based Production Systems.

Reasoning about Actions and Planning

• 
  Christer Bäckström, Peter Jonsson: Abstracting Abstraction in Search with Applications to Planning.
• 
  Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio: Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments.
• 
  Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi: Bounded Situation Calculus Action Theories and Decidable Verification.
• 
  Patrick Doherty, Jonas Kvarnström, Andrzej Szalas: Temporal Composite Actions with Constraints.
• 
  Alban Grastien, Patrik Haslum, Sylvie Thiébaux: Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice.

Spatial and Temporal Reasoning

• 
  Jinbo Huang: Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning.
• 
  Jochen Renz: Implicit Constraints for Qualitative Spatial and Temporal Reasoning.

Uncertainty

• 
  Didier Dubois, Henri Prade, Steven Schockaert: Stable Models in Generalized Possibilistic Logic.
• 
  Jonathan Lawry, Didier Dubois: A Bipolar Framework for Combining Beliefs about Vague Propositions.

Reports from the Field

• 
  Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca: JASP: A Framework for Integrating Answer Set Programming with Java.
• 
  Hector J. Levesque, Ernest Davis, Leora Morgenstern: The Winograd Schema Challenge.

Short Papers

• 
  Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov: Exchanging Description Logic Knowledge Bases.
• 
  Franz Baader, Stefan Borgwardt, Barbara Morawska: Extending Unification in EL Towards General TBoxes.
• 
  Chitta Baral, Juraj Dzifcak: Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation.
• 
  Maximiliano Celmo Budán, Mauro Javier Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari: Modelling Time and Reliability in Structured Argumentation Frameworks.
• 
  Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni: The Complexity of Explaining Negative Query Answers in DL-Lite.
• 
  Anthony G. Cohn, Jochen Renz, Muralikrishna Sridhar: Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis.
• 
  Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali: Weighted Attacks in Argumentation Frameworks.
• 
  Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams: Efficient Argumentation for Medical Decision-Making.
• 
  Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Compositional Belief Merging.
• 
  Cristina Feier: Worst-Case Optimal Reasoning with Forest Logic Programs.
• 
  Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub: Stream Reasoning with Answer Set Programming: Preliminary Report.
• 
  Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Achieving Completeness in Bounded Model Checking of Action Theories in ASP.
• 
  Matthew Horridge, Bijan Parsia, Ulrike Sattler: Justification Masking in Ontologies.
• 
  Jinbo Huang: Search Strategy Simulation in Constraint Booleanization.
• 
  Jianbing Ma, Salem Benferhat, Weiru Liu: Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework.
• 
  Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas: Towards Parallel Nonmonotonic Reasoning with Billions of Facts.
• 
  Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang: Forgetting in Logic Programs under Strong Equivalence.
• 
  Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell: Assertion Absorption in Object Queries over Knowledge Bases.

last updated on Sat May 25 05:20:52 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page