• 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 / Proceedings of the Fourteenth International Conference On Principles of Knowledge Representation and Reasoning /

Book Two

Uncertainty

  • Relational Logistic Regression

    Seyed Mehran Kazemi, David Buchman, Kristian Kersting, Sriraam Natarajan, David Poole

    548

    PDF
  • Linear Programs for Measuring Inconsistency in Probabilistic Logics

    Nico Potyka

    568

    PDF
  • Probabilistic Sentential Decision Diagrams

    Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche

    558

    PDF
  • Reasoning with Uncertain Inputs in Possibilistic Networks

    Salem Benferhat, Karim Tabia

    538

    PDF

Short Papers

  • Interval Methods for Judgment Aggregation in Argumentation

    Richard Booth, Edmond Awad, Iyad Rahwan

    594

    PDF
  • Using Answer Set Programming for Solving Boolean Games

    Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Nowé

    602

    PDF
  • Tracking Beliefs and Intentions in the Werewolf Game

    Codruta Liliana Girlea, Eyal Amir, Roxana Girju

    638

    PDF
  • Towards a Knowledge Level Analysis of Forgetting

    James P. Delgrande

    606

    PDF
  • Strong Equivalence of Non-Monotonic Temporal Theories

    Pedro Cabalar, Martín Diéguez

    598

    PDF
  • Stable Models of Multi-Valued Formulas: Partial versus Total Functions

    Michael Bartholomew, Joohyung Lee

    583

    PDF
  • Rough Set Semantics for Identity on the Web

    Wouter Beek, Stefan Schlobach, Frank van Harmelen

    587

    PDF
  • Representing and Reasoning about Time Travel Narratives: Foundational Concepts

    Leora Morgenstern

    642

    PDF
  • Predicting Performance of OWL Reasoners: Locally or Globally?

    Viachaslau Sazonau, Uli Sattler, Gavin Brown

    661

    PDF
  • On the Progression of Knowledge in Multiagent Systems

    Vaishak Belle, Gerhard Lakemeyer

    590

    PDF
  • On Redundant Topological Constraints

    Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long

    618

    PDF
  • Minimal Change in AGM Revision for Non-Classical Logics

    Marcio Moretto Ribeiro, Renata Wassermann

    657

    PDF
  • Knowledge Maps of Web Graphs

    Valeria Fionda, Claudio Gutierrez, Giuseppe Pirro'

    630

    PDF
  • How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs

    Sjur Kristoffer Dyrkolbotn

    626

    PDF
  • Heuristic Guided Optimization for Propositional Planning

    Andreas Sideris, Yannis Dimopoulos

    669

    PDF
  • First-Order Default Logic Revisited

    Yi Zhou

    673

    PDF
  • Concept Dissimilarity with Triangle Inequality

    Felix Distel, Jamal Atif, Isabelle Bloch

    614

    PDF
  • A Psychology-Inspired Approach to Automated Narrative Text Comprehension

    Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, Rob Miller

    610

    PDF
  • Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas

    Yuping Shen, Xishun Zhao

    665

    PDF
  • Belief Revision in the Propositional Closure of a Qualitative Algebra

    Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber

    622

    PDF
  • Axioms .2 and .4 as Interaction Axioms

    Guillaume Aucher

    579

    PDF
  • ASP Encodings of Acyclicity Properties

    Martin Gebser, Tomi Janhunen, Jussi Rintanen

    634

    PDF
  • An Abductive Reasoning Approach to the Belief Bias Effect

    Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler

    653

    PDF
  • Aggregative Deontic Detachment for Normative Reasoning

    Xavier Parent, Leon van der Torre

    646

    PDF
  • Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)

    Fabio Patrizi, Stavros Vassos

    650

    PDF

Planning, Strategies, and Diagnosis

  • Reasoning about Equilibria in Game-Like Concurrent Systems

    Julian Gutierrez, Paul Harrenstein, Michael Wooldridge

    408

    PDF
  • Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux

    Francesco Belardinelli

    398

    PDF
  • A Temporal Logic of Strategic Knowledge

    Xiaowei Huang, Ron van der Meyden

    418

    PDF
  • An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications

    Alessio Lomuscio, Jakub Michaliszyn

    428

    PDF
  • Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals

    Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith

    388

    PDF

Reasoning about Actions and Processes

  • A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations

    Fangzhen Lin

    338

    PDF
  • Decidable Reasoning in a Fragment of the Epistemic Situation Calculus

    Gerhard Lakemeyer, Hector J. Levesque

    468

    PDF
  • Forgetting in Action

    David Rajaratnam, Hector Levesque, Maurice Pagnucco, Michael Thielscher

    498

    PDF
  • How to Progress Beliefs in Continuous Domains

    Vaishak Belle, Hector Levesque

    438

    PDF
  • Model Checking Unbounded Artifact-Centric Systems

    Alessio Lomuscio, Jakub Michaliszyn

    488

    PDF
  • State-Boundedness in Data-Aware Dynamic Systems

    Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch

    458

    PDF
  • Transforming Situation Calculus Action Theories for Optimised Reasoning

    Christopher James Ewin, Adrian R. Pearce, Stavros Vassos

    448

    PDF

Reports from the Field

  • Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design

    Mehul Bhatt, Carl Schultz, Madhura Thosar

    508

    PDF
  • SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning

    Andrea Marrella, Massimo Mecella, Sebastian Sardina

    518

    PDF
  • Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation

    Matthias Thimm

    528

    PDF

Description Logics

  • Answering Instance Queries Relaxed by Concept Similarity

    Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan

    248

    PDF
  • Decidable Gödel Description Logics without the Finitely-Valued Model Property

    Stefan Borgwardt, Felix Distel, Rafael Peñaloza

    228

    PDF
  • Exact Learning of Lightweight Description Logic Ontologies

    Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter

    298

    PDF
  • Finite Model Reasoning in Horn Description Logics

    Yazmín Ibáñez García, Carsten Lutz, Thomas Schneider

    288

    PDF
  • Lightweight Description Logics and Branching Time: A Troublesome Marriage

    Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider

    278

    PDF
  • Nested Regular Path Queries in Description Logics

    Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus

    218

    PDF
  • Nominal Schemas in Description Logics: Complexities Clarified

    Markus Krötzsch, Sebastian Rudolph

    308

    PDF
  • Polynomial Combined Rewritings for Existential Rules

    Georg Gottlob, Marco Manna, Andreas Pieris

    268

    PDF
  • Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference

    Michel Ludwig, Boris Konev

    318

    PDF
  • Query Inseparability for Description Logic Knowledge Bases

    Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

    238

    PDF
  • Stable Model Semantics for Guarded Existential Rules and Description Logics

    Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz

    258

    PDF

Knowledge Representation and Reasoning

  • A Formalization of Programs in First-Order Logic with a Discrete Linear Order

    Fangzhen Lin

    338

    PDF
  • Certain Answers as Objects and Knowledge

    Leonid Libkin

    328

    PDF
  • Generalized Multi-Context Systems

    Shahab Tasharrofi, Eugenia Ternovska

    368

    PDF
  • Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra

    Peng Zhang, Jochen Renz

    378

    PDF
  • Simultaneous Learning and Prediction

    Loizos Michael

    348

    PDF
  • Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs

    Peter Schüller

    358

    PDF

Automated Reasoning and Computation

  • Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory

    Hannes Strass, Johannes Peter Wallner

    101

    PDF
  • On OBDDs for CNFs of Bounded Treewidth

    Igor Razgon

    92

    PDF
  • Skolemization for Weighted First-Order Model Counting

    Guy Van den Broeck, Wannes Meert, Adnan Darwiche

    111

    PDF
  • The Parameterized Complexity of Reasoning Problems Beyond NP

    Ronald de Haan, Stefan Szeider

    82

    PDF

Argumentation

  • A Dynamic Logic Framework for Abstract Argumentation

    Sylvie Doutre, Andreas Herzig, Laurent Perrussel

    62

    PDF
  • An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation

    Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella

    42

    PDF
  • Characteristics of Multiple Viewpoints in Abstract Argumentation

    Paul E. Dunne, Wolfgang Dvorak, Thomas Linsbichler, Stefan Woltran

    72

    PDF
  • On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses

    Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis

    52

    PDF

Answer Set Programming and Logic Programming

  • The Semantics of Gringo and Infinitary Propositional Formulas

    Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang

    32

    PDF
  • The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited

    Marc Denecker, Joost Vennekens

    22

    PDF
  • Constructive Negation in Extensional Higher-Order Logic Programming

    Angelos Charalambidis, Panos Rondogiannis

    12

    PDF
  • Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness

    Vernon Asuncion, Yan Zhang, Heng Zhang

    2

    PDF

Causality and Rationality

  • Appropriate Causal Models and Stability of Causation

    Joseph Halpern

    198

    PDF
  • Axiomatizing Rationality

    Adam Bjorndahl, Joseph Halpern, Rafael Pass

    178

    PDF
  • Dynamic Causal Calculus

    Alexander Bochman

    188

    PDF
  • EGuaranteeNash for Boolean Games Is NEXP-Hard

    Egor Ianovski, Luke Ong

    208

    PDF

Belief Revision and Nonmonotonicity

  • Belief Change and Base Dependence

    Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich

    151

    PDF
  • Belief Change and Semiorders

    Pavlos Peppas, Mary-Anne Williams

    160

    PDF
  • Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments

    Andreas Herzig

    141

    PDF
  • David Poole’s Specificity Revised

    Claus-Peter Wirth, Frieder Stolzenburg

    168

    PDF
  • Justified Beliefs by Justified Arguments

    Davide Grossi, Wiebe van der Hoek

    131

    PDF
  • On Egalitarian Belief Merging

    Patricia Everaere, Sébastien Konieczny, Pierre Marquis

    121

    PDF

Primary Sidebar