• 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 Twelfth International Conference (Kr2010) /

Book One

All Content

  • Index

    Patrick Doherty, John Mylopoulos, Christopher Welty

    605

    PDF
  • An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets

    Minyi Li, Bao Quoc Vo, Ryszard Kowalczyk

    PDF
  • A Layered Graph Representation for Complex Regions

    Sanjiang Li

    PDF
  • The Modular Structure of an Ontology: An Empirical Study

    Bijan Parsia, Thomas Schneider

    PDF
  • Towards a Logic of Feature-Based Semantic Science Theories

    David Poole

    PDF
  • Efficient Dominance Testing for Unconditional Preferences

    Ganesh Ram Santhanam, Samik Basu, Vasant Honavar

    PDF
  • Set-Oriented Logical Connectives: Syntax and Semantics

    Stuart C. Shapiro

    PDF
  • Towards Runtime Support for Norm-Governed Multi-Agent Systems

    Visara Urovi, Stefano Bromuri, Kostas Stathis, Alexander Artikis

    PDF
  • Revising General Knowledge Bases in Description Logics

    Zhe Wang, Kewen Wang, Rodney Topor

    PDF
  • Forgetting Revisited

    Yan Zhang, Yi Zhou

    PDF
  • Interpreting Topological Logics over Euclidean Spaces

    Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev

    PDF
  • Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms

    Ronen Brafman, Francesca Rossi, Domenico Salvagnin, K. Brent Venable, Toby Walsh

    PDF
  • State Defaults and Ramifications in the Unifying Action Calculus

    Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski

    PDF
  • Situation Calculus Based Programs for Representing and Reasoning about Game Structures

    Giuseppe De Giacomo, Yves Lesperance, Adrian R. Pearce

    PDF
  • Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering

    Hannaneh Hajishirzi, Eyal Amir

    PDF
  • Walking the Decidability Line for Rules with Existential Variables

    Jean-François Baget, Michel LeClere, Marie-Laure Mugnier

    PDF
  • A Decidable Class of Groundable Formulas in the General Theory of Stable Models

    Michael Bartholomew, Joohyung Lee

    PDF
  • Paracoherent Answer Set Programming

    Thomas Eiter, Michael Fink, Joao Moura

    PDF
  • Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming

    Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber

    PDF
  • Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough

    Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran

    PDF
  • On the Progression Semantics and Boundedness of Answer Set Programs

    Yan Zhang, Yi Zhou

    PDF
  • Independence and Functional Dependence Relations on Secrets

    Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp

    PDF
  • Reasoning with Logical Proportions

    Henri Prade, Gilles Richard

    PDF
  • Reasoning about Context in Ambient Intelligence Environments: A Report from the Field

    Grigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis

    PDF
  • Formalizing Psychological Knowledge in Answer Set Programming

    Marcello Balduccini, Sara Girotto

    PDF
  • A Logical Understanding of Legal Interpretation

    Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre

    PDF
  • Ontologies for Dates and Duration

    Michael Gruninger

    PDF
  • From Justifications Towards Proofs for Ontology Engineering

    Matthew Horridge, Bijan Parsia

    PDF
  • Joint Revision of Beliefs and Intention

    Thomas Icard, Eric Pacuit, Yoav Shoham

    PDF
  • The Temporal Logic of Token Causes

    Samantha Kleinberg, Bud Mishra

    PDF
  • Generalized Planning with Loops under Strong Fairness Constraints

    Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardina

    PDF
  • A Correctness Result for Reasoning about One-Dimensional Planning Problems

    Yuxiao Hu, Hector J. Levesque

    PDF
  • On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System

    Agata Ciabattoni, Pavel Rusnok

    PDF
  • Novel Semantical Approaches to Relational Probabilistic Conditionals

    Gabriele Kern-Isberner, Matthias Thimm

    PDF
  • Probabilistic Description Logics for Subjective Uncertainty

    Carsten Lutz, Lutz Schröder

    PDF
  • Preferential Semantics for Plausible Subsumption in Possibility Theory

    Guilin Qi, Zhizheng Zhang

    PDF
  • From Preference Logics to Preference Languages, and Back

    Meghyn Bienvenu, Jérôme Lang, Nic Wilson

    PDF
  • Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers

    Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi

    PDF
  • Finding Explanations of Inconsistency in Multi-Context Systems

    Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl

    PDF
  • Pushing the Limits of Reasoning over Ontologies with Hidden Content

    Bernardo Cuenca Grau, Boris Motik

    PDF
  • Status QIO: Conjunctive Query Entailment Is Decidable

    Birte Glimm, Sebastian Rudolph

    PDF
  • Decomposing Description Logic Ontologies

    Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter

    PDF
  • The Combined Approach to Query Answering in DL-Lite

    Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev

    PDF
  • Understanding Ontological Levels

    Claudio Masolo

    PDF
  • Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2

    Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus

    PDF
  • On the Complexity of Axiom Pinpointing in the EL Family of Description Logics

    Rafael Peñaloza, Barış Sertkaya

    PDF
  • Improving Query Answering over DL-Lite Ontologies

    Riccardo Rosati, Alessandro Almatelli

    PDF
  • On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information

    Ofer Arieli

    PDF
  • Maximally Paraconsistent Three-Valued Logics

    Ofer Arieli, Arnon Avron, Anna Zamansky

    PDF
  • A Class of df-Consistencies for Qualitative Constraint Networks

    Jean-François Condotta, Christophe Lecoutre

    PDF
  • Horn Clause Contraction Functions: Belief Set and Belief Base Approaches

    James Delgrande, Renata Wassermann

    PDF
  • Complexity of Propositional Abduction for Restricted Sets of Boolean Functions

    Nadia Creignou, Johannes Schmidt, Michael Thomas

    PDF
  • New Advances in Sequential Diagnosis

    Sajjad Ahmed Siddiqi, Jinbo Huang

    PDF
  • Diagnosis as Planning Revisited

    Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith

    PDF
  • Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems

    Francesco Belardinelli, Alessio Lomuscio

    PDF
  • Multi-Agent Only-Knowing Revisited

    Vaishak Belle, Gerhard Lakemeyer

    PDF
  • Distributed Nonmonotonic Multi-Context Systems

    Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

    PDF
  • Modelling Combinatorial Auctions in Linear Logic

    Daniele Porello, Ulle Endriss

    PDF
  • Integrating Action Calculi and AgentSpeak: Closing the Gap

    Michael Thielscher

    PDF
  • One Hundred Prisoners and a Lightbulb — Logic and Computation

    Hans van Ditmarsch, Jan van Eijck, William Wu

    PDF
  • Abstract Dialectical Frameworks

    Gerhard Brewka, Stefan Woltran

    PDF
  • Towards Fixed-Parameter Tractable Algorithms for Argumentation

    Wolfgang Dvorak, Reinhard Pichler, Stefan Woltran

    PDF
  • Characterizing Strong Equivalence for Argumentation Frameworks

    Emilia Oikarinen, Stefan Woltran

    PDF
  • Characterizing Updates in Dynamic Epistemic Logic

    Guillaume Aucher

    PDF
  • From Causal Models To Counterfactual Structures

    Joseph Y. Halpern

    PDF
  • Taxonomy of Improvement Operators and the Problem of Minimal Change

    Sébastien Konieczny, Mattia Medina Grespan, Ramon Pino Pérez

    PDF
  • A Characterization of Optimality Criteria for Decision Making under Complete Ignorance

    Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis

    PDF
  • I Don’t Want to Think About it Now: Decision Theory with Costly Computation

    Joseph Y. Halpern

    PDF
  • Query and Predicate Emptiness in Description Logics

    Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter

    PDF
  • Decidability of a Description Logic over Infinite-Valued Product Logic

    Marco Cerami, Francesc Esteva, Felix Bou

    PDF
  • Program Committee

    Patrick Doherty, John Mylopoulos, Christopher Welty

    xi

    PDF
  • Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning

    Leonardo de Moura, Carsten Lutz, Monica Mc Schraefel, Bernhard Nebel

    PDF
  • Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract)

    Chitta Baral

    PDF
  • Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning

    Chitta Baral, Ian Horrocks, Yoav Shoham

    PDF
  • Preface

    Patrick Doherty, John Mylopoulos, Christopher Welty

    xv

    PDF
  • Additional Reviewers

    Patrick Doherty, John Mylopoulos, Christopher Welty

    xii

    PDF

Primary Sidebar