• 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 Fifteenth International Conference (Kr2016) /

Book One

All Content

  • Decidable Reasoning in a Logic of Limited Belief with Function Symbols

    Gerhard Lakemeyer, Hector J. Levesque

    PDF
  • Generalized Consistent Query Answering under Existential Rules

    Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu

    PDF
  • A Multi-Aspect Evaluation Framework for Comments on the Social Web

    Theodore Patkos, Antonis Bikakis, Giorgos Flouris

    PDF
  • Knowledge Graph Embedding by Flexible Translation

    Jun Feng, Minlie Huang, Mingdong Wang, Mantong Zhou, Yu Hao, Xiaoyan Zhu

    PDF
  • On Expressibility of Non-Monotone Operators in SPARQL

    Roman Kontchakov, Egor V. Kostylev

    PDF
  • Prompt Alternating-Time Epistemic Logics

    Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger

    PDF
  • Limiting Logical Violations in Ontology Alignnment Through Negotiation

    Ernesto Jimenez-Ruiz, Terry R. Payne, Alessandro Solimando, Valentina Tamma

    PDF
  • Reasoning about Truthfulness of Agents Using Answer Set Programming

    Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini

    PDF
  • Preference and Priorities: A Study Based on Contrction

    Marlo Souza, Alvaro Moreira, Renata Vieira, John-Jules Ch. Meyer

    PDF
  • Building Epistemic Logic from Observations and Public Announcements

    Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber

    PDF
  • Probabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable Elimination

    Thomas Lukasiewicz, Maria Vanina Martinez, David Poole, Gerardo Ignacio Simari

    PDF
  • Query-Based Comparison of Mappings in Ontology-Based Data Access

    Meghyn Bienvenu, Riccardo Rosati

    PDF
  • Solving PPPP-Complete Problems Using Knowledge Compilation

    Umut Oztok, Arthur Choi, Adnan Darwiche

    PDF
  • Using Metric Temporal Logic to Specify Scheduling Problems

    Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith

    PDF
  • Weighted Rules under the Stable Model Semantics

    Joohyung Lee, Yi Wang

    PDF
  • Open-World Probabilistic Databases

    Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck

    PDF
  • Regular Open APIs

    Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi

    PDF
  • Closed Predicates in Description Logics: Results on Combined Complexity

    Nhung Ngo, Magdalena Ortiz, Mantas Simkus

    PDF
  • Negation Without Negation in Probabilistic Logic Programming

    David Buchman, David Poole

    PDF
  • Easy OWL Drawing with the Graphol Visual Ontology Language

    Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo

    PDF
  • Quantifying Conflicts for Spatial and Temporal Information

    Jean-François Condotta, Badran Raddaoui, Yakoub Salhi

    PDF
  • Bayesian Deduction with Subjective Opinions

    Magdalena Ivanovska, Audun Jøsang, Francesco Sambo

    PDF
  • Boolean Hedonic Games

    Haris Aziz, Paul Harrenstein, Jerome Lang, Michael Wooldridge

    PDF
  • Expressive Description Logic with Instantiation Metamodelling

    Petra Kubincová, Ján Kľuka, Martin Homola

    PDF
  • On First-Order μ-Calculus over Situation Calculus Action Theories

    Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi

    PDF
  • Merging of Abstract Argumentation Frameworks

    Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran

    PDF
  • Representative Solutions for Multi-Objective Constraint Optimization Problems

    Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue

    PDF
  • Discontinuity-Free Decision Support with Quantitative Argumentation Debates

    Antonio Rago, Francesca Toni, Marco Aurisicchio, Pietro Baroni

    PDF
  • A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering

    Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia

    PDF
  • Bisimulations on Data Graphs

    Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira

    PDF
  • ABA+: Assumption-Based Argumentation with Preferences

    Kristijonas Cyras, Francesca Toni

    PDF
  • Abstract Argumentation for Case-Based Reasoning

    Kristijonas Cyras, Ken Satoh, Francesca Toni

    PDF
  • Anti-Unification of Concepts in Description Logic EL

    Boris Konev, Temur Kutsia

    PDF
  • Foundations for Generalized Planning in Unbounded Stochastic Domains

    Vaishak Belle, Hector J. Levesque

    PDF
  • Extending Consequence-Based Reasoning to SRIQ

    Andrew Bate, Boris Motik, Bernardo Cuenca Grau, František Simančík, Ian Horrocks

    PDF
  • A Higher-Order Semantics for Metaquerying in OWL 2 QL

    Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi

    PDF
  • Sequential Equilibrium in Games of Imperfect Recall

    Joseph Y. Halpern, Rafael Pass

    PDF
  • On the Functional Completeness of Argumentation Semantics

    Massimiliano Giacomin, Thomas Linsbichler, Stefan Woltran

    PDF
  • Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics

    Ronald de Haan, Stefan Szeider

    PDF
  • On the Justification of Statements in Argumentation-based Reasoning

    Pietro Baroni, Guido Governatori, Ho-Pun Lam, Régis Riveret

    PDF
  • Online Situation-Determined Agents and their Supervision

    Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

    PDF
  • Characterizing Equivalence Notions for Labelling-Based Semantics

    Ringo Baumann

    PDF
  • An Analysis of the Equational Properties of the Well-Founded Fixed Point

    Arnaud Carayol, Zoltan Esik

    PDF
  • Infinite Paths in the Situation Calculus: Axiomatization and Properties

    Shakil M. Khan, Yves Lespérance

    PDF
  • Minimality Postulates for Ontology Revision

    Oezguer Luetfue Oezcep

    PDF
  • An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms

    Ringo Baumann, Hannes Strass

    PDF
  • Cognitive Affordance Representations in Uncertain Logic

    Vasanth Sarathy, Matthias Scheutz

    PDF
  • Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions

    Zhiguo Long, Steven Schockaert, Sanjiang Li

    PDF
  • Consolidating Probabilistic Knowledge Bases via Belief Contraction

    Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann

    PDF
  • jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks

    Federico Cerutti, Mauro Vallati, Massimiliano Giacomin

    PDF
  • A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks

    Jean-François Condotta, Issam Nouaouri, Michael Sioutis

    PDF
  • Imperfect Information in Reactive Modules Games

    Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge

    PDF
  • Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language

    Seyed Mehran Kazemi, David Poole

    PDF
  • On Referring Expressions in Query Answering over First Order Knowledge Bases

    Alexander Borgida, David Toman, Grant Weddell

    PDF
  • Axiomatic Foundations of Acceptability Semantics

    Leila Amgoud, Jonathan Ben-Naim

    PDF
  • A MIS Partition Based Framework for Measuring Inconsistency

    Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi

    PDF
  • Complexity of the Description Logic ALCM

    Monica Martinez, Edelweis Roher, Paula Severi

    PDF
  • Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

    Pierre Bourhis, Carsten Lutz

    PDF
  • Using Defeasible Information to Obtain Coherence

    Giovanni Casini, Thomas Meyer

    PDF
  • Succinctness of Languages for Judgment Aggregation

    Ulle Endriss, Umberto Grandi, Ronald de Haan, Jerome Lang

    PDF
  • The Ultimate Guide to Forgetting in Answer Set Programming

    Ricardo Goncalves, Matthias Knorr, João Leite

    PDF
  • Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics

    Sebastian Rudolph

    PDF
  • Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture

    Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

    PDF
  • Guiding Planning Engines by Transition-Based Domain Control Knowledge

    Lukáš Chrpa, Roman Barták

    PDF
  • On Logics and Semantics of Indeterminate Causation

    Alexander Bochman

    PDF
  • Some Complexity Results on Inconsistency Measurement

    Matthias Thimm, Johannes Peter Wallner

    PDF
  • Implicit Hitting Set Algorithms for Reasoning Beyond NP

    Paul Saikko, Johannes P. Wallner, Matti Järvisalo

    PDF
  • Approximations and Refinements of Certain Answers via Many-Valued Logics

    Marco Console, Paolo Guagliardo, Leonid Libkin

    PDF
  • Argumentative Approaches to Reasoning with Maximal Consistency

    Ofer Arieli, Christian Strasser

    PDF
  • Ranking Arguments With Compensation-Based Semantics

    Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic

    PDF
  • Commonsense Causal Reasoning between Short Texts

    Zhiyi Luo, Yuchen Sha, Kenny Q. Zhu, Seung-Won Hwang, Zhongyuan Wang

    PDF
  • Declarative Solver Development: Case Studies

    Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

    PDF
  • Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions

    Alessio Lomuscio, Jakub Michaliszyn

    PDF
  • Unsupervised Grounding of Textual Descriptions of Object Features and Actions in Video

    Muhannad Alomari, Eris Chinellato, Yiannis Gatsoulis, David C. Hogg, Anthony G. Cohn

    PDF
  • On Partial Information and Contradictions in Probabilistic Abstract Argumentation

    Anthony Hunter, Matthias Thimm

    PDF

Primary Sidebar