• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Principles Of Knowledge Representation And Reasoning: Proceedings Of The Thirteenth International Conference (Kr2012) /

Book One

All Content

  • Invited Talks

    Craig Boutilier, Maurizio Lenzerini, Vladimir Lifschitz, Moshe Y. Vardi

    PDF
  • Paraconsistent Hybrid Theories

    Michael Fink

    PDF
  • Abstract Normative Systems: Semantics and Proof Theory

    Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata

    PDF
  • Robust Equivalence Models for Semantic Updates of Answer-Set Programs

    Martin Slota, João Leite

    PDF
  • Justification Masking in Ontologies

    Matthew Horridge, Bijan Parsia, Ulrike Sattler

    PDF
  • Worst-Case Optimal Reasoning with Forest Logic Programs

    Cristina Feier

    PDF
  • Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice

    Alban Grastien, Patrik Haslum, Sylvie Thiébaux

    PDF
  • Stable Models of Formulas with Intensional Functions

    Michael Bartholomew, Joohyung Lee

    PDF
  • From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP

    Chitta Baral, Shanshan Liang

    PDF
  • Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis

    Anthony G. Cohn, Jochen Renz, Muralikrishna Sridhar

    PDF
  • Implicit Constraints for Qualitative Spatial and Temporal Reasoning

    Jochen Renz

    PDF
  • Conference Committee

    Sheila McIlraith, Thomas Eiter

    PDF
  • Area Chairs and Program Committee

    Sheila McIlraith, Thomas Eiter

    PDF
  • Preface

    Sheila McIlraith, Thomas Eiter

    PDF
  • Lecture in Remembrance of John McCarthy

    Leora Morgenstern

    PDF
  • Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation

    Chitta Baral, Juraj Dzifcak

    PDF
  • Paradoxes of Multiple Elections: An Approximation Approach

    Vincent Conitzer, Lirong Xia

    PDF
  • Practical Reasoning with Nominals in the EL Family of Description Logics

    Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik

    PDF
  • Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction

    Henri Prade, Gilles Richard

    PDF
  • Conjunctive Query Answering with OWL 2 QL

    Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev

    PDF
  • The Complexity of Explaining Negative Query Answers in DL-Lite

    Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni

    PDF
  • Towards Parallel Nonmonotonic Reasoning with Billions of Facts

    Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas

    PDF
  • Query Containment in Description Logics Reconsidered

    Meghyn Bienvenu, Carsten Lutz, Frank Wolter

    PDF
  • On Unit-Refutation Complete Formulae with Existentially Quantified Variables

    Lucas Bordeaux, Mikolas Janota, Joao Marques-Silva, Pierre Marquis

    PDF
  • Non-Uniform Data Complexity of Query Answering in Description Logics

    Carsten Lutz, Frank Wolter

    PDF
  • Achieving Completeness in Bounded Model Checking of Action Theories in ASP

    Laura Giordano, Alberto Martelli, Daniele Theseider Dupre'

    PDF
  • Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments

    Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio

    PDF
  • A Generic Querying Algorithm for Greedy Sets of Existential Rules

    Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph

    PDF
  • Weighted Attacks in Argumentation Frameworks

    Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali

    PDF
  • Compositional Belief Merging

    Patricia Everaere, Sébastien Konieczny, Pierre Marquis

    PDF
  • Credibility-Limited Revision Operators in Propositional Logic

    Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramon Pino Pérez

    PDF
  • Bounded Situation Calculus Action Theories and Decidable Verification

    Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi

    PDF
  • High Performance Query Answering over DL-Lite Ontologies

    Mariano Rodriguez-Muro, Diego Calvanese

    PDF
  • Fixed-Parameter Algorithms for Finding Minimal Models

    Martin Lackner, Andreas Pfandler

    PDF
  • On the Small-Scope Hypothesis for Testing Answer-Set Programs

    Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits

    PDF
  • Generalized Ontology-Based Production Systems

    Riccardo Rosati, Enrico Franconi

    PDF
  • Declarative Entity Resolution via Matching Dependencies and Answer Set Programs

    Zeinab Bahmani, Leopoldo Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan

    PDF
  • An Abstraction Technique for the Verification of Artifact-Centric Systems

    Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

    PDF
  • Belief Revision with Sensing and Fallible Actions

    James Delgrande, Hector J. Levesque

    PDF
  • Only-Knowing Meets Nonmonotonic Modal Logic

    Gerhard Lakemeyer, Hector J. Levesque

    PDF
  • Complexity-Sensitive Decision Procedures for Abstract Argumentation

    Wolfgang Dvorak, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran

    PDF
  • Rewriting Ontological Queries into Small Nonrecursive Datalog Programs

    Georg Gottlob, Thomas Schwentick

    PDF
  • An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL

    Carsten Lutz, Inanc Seylan, Frank Wolter

    PDF
  • Belief Revision within Fragments of Propositional Logic

    Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran

    PDF
  • Ordered Epistemic Logic: Semantics, Complexity and Applications

    Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker

    PDF
  • An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities

    Nic Wilson, Radu Marinescu

    PDF
  • Efficient Argumentation for Medical Decision-Making

    Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams

    PDF
  • Answer Set Programming via Mixed Integer Programming

    Guohua Liu, Tomi Janhunen, Ilkka Niemela

    PDF
  • Strong Equivalence of Qualitative Optimization Problems

    Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran

    PDF
  • Logic Programs with Intensional Functions

    Vladimir Lifschitz

    PDF
  • JASP: A Framework for Integrating Answer Set Programming with Java

    Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca

    PDF
  • Efficiently Computable Datalog∃ Programs

    Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri

    PDF
  • Ambiguous Language and Differences in Beliefs

    Joseph Halpern, Willemien Ket

    PDF
  • Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming

    Vinay K. Chaudhri, Tran Cao Son

    PDF
  • Exchanging Description Logic Knowledge Bases

    Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov

    PDF
  • Assertion Absorption in Object Queries over Knowledge Bases

    Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell

    PDF
  • Extending Unification in EL Towards General TBoxes

    Franz Baader, Stefan Borgwardt, Barbara Morawska

    PDF
  • Acyclicity Conditions and their Application to Query Answering in Description Logics

    Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang

    PDF
  • Fixpoints and Iterated Updates in Abstract Argumentation

    Davide Grossi

    PDF
  • Temporal Composite Actions with Constraints

    Patrick Doherty, Jonas Kvarnström, Andrzej Szalas

    PDF
  • Automated Verification of Epistemic Properties for General Game Playing

    Sebastian Haufe, Michael Thielscher

    PDF
  • Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework

    Jianbing Ma, Salem Benferhat, Weiru Liu

    PDF
  • Ranking Sets of Possibly Interacting Objects Using Shapley Extensions

    Stefano Moretti, Alexis Tsoukiàs

    PDF
  • Ontology Evolution Under Semantic Constraints

    Bernardo Cuenca Grau, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov

    PDF
  • Modelling Time and Reliability in Structured Argumentation Frameworks

    Maximiliano Celmo Budán, Mauro Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari

    PDF
  • The Winograd Schema Challenge

    Hector Levesque, Ernest Davis, Leora Morgenstern

    PDF
  • Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning

    Jinbo Huang

    PDF
  • A Bipolar Framework for Combining Beliefs about Vague Propositions

    Jonathan Lawry, Didier Dubois

    PDF
  • Horn Belief Contraction: Remainders, Envelopes and Complexity

    Kira Adaricheva, Robert H. Sloan, Balász Szörényi, György Turán

    PDF
  • Abstracting Abstraction in Search with Applications to Planning

    Christer Backstrom, Peter Jonsson

    PDF
  • Model Based Horn Contraction

    Zhiqiang Zhuang, Maurice Pagnucco

    PDF
  • Stable Models in Generalized Possibilistic Logic

    Didier Dubois, Henri Prade, Steven Schockaert

    PDF
  • Stream Reasoning with Answer Set Programming: Preliminary Report

    Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub

    PDF
  • Undecidability of Fuzzy Description Logics

    Stefan Borgwardt, Rafael Peñaloza

    PDF
  • Search Strategy Simulation in Constraint Booleanization

    Jinbo Huang

    PDF
  • Forgetting in Logic Programs under Strong Equivalence

    Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang

    PDF

Primary Sidebar