Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference (KR2016)
Edited by Chitta Baral, James Delgrande, and Frank Wolter
Cape Town, South Africa, April 25–29, 2016.
Published by The AAAI Press, Palo Alto, California. This proceedings is also available in book format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Full Paper: Argumentation
Axiomatic Foundations of Acceptability Semantics / 2
Leila Amgoud, Jonathan Ben-Naim
Ranking Arguments With Compensation-Based Semantics / 12
Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic
Characterizing Equivalence Notions for Labelling-Based Semantics / 22
Ringo Baumann
Merging of Abstract Argumentation Frameworks / 33
Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran
On the Functional Completeness of Argumentation Semantics / 43
Massimiliano Giacomin, Thomas Linsbichler, Stefan Woltran
On Partial Information and Contradictions in Probabilistic Abstract Argumentation / 53
Anthony Hunter, Matthias Thimm
Discontinuity-Free Decision Support with Quantitative Argumentation Debates / 63
Antonio Rago, Francesca Toni, Marco Aurisicchio, Pietro Baroni
Full Paper: Automated Reasoning and Computation
Declarative Solver Development: Case Studies / 74
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
A MIS Partition Based Framework for Measuring Inconsistency / 84
Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
Solving PPPP-Complete Problems Using Knowledge Compilation / 94
Umut Oztok, Arthur Choi, Adnan Darwiche
Implicit Hitting Set Algorithms for Reasoning Beyond NP / 104
Paul Saikko, Johannes P. Wallner, Matti Järvisalo
Some Complexity Results on Inconsistency Measurement / 114
Matthias Thimm, Johannes Peter Wallner
Full Paper: Belief Revision and Nonmonotonicity
Consolidating Probabilistic Knowledge Bases via Belief Contraction / 125
Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann
The Ultimate Guide to Forgetting in Answer Set Programming / 135
Ricardo Goncalves, Matthias Knorr, João Leite
Weighted Rules under the Stable Model Semantics / 145
Joohyung Lee, Yi Wang
Preference and Priorities: A Study Based on Contrction / 155
Marlo Souza, Alvaro Moreira, Renata Vieira, John-Jules Ch. Meyer
Full Paper: Decision Theory, Rationality
Boolean Hedonic Games / 166
Haris Aziz, Paul Harrenstein, Jerome Lang, Michael Wooldridge
Succinctness of Languages for Judgment Aggregation / 176
Ulle Endriss, Umberto Grandi, Ronald de Haan, Jerome Lang
Full Paper: Description Logics
Extending Consequence-Based Reasoning to SRIQ / 187
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, František Simančík, Ian Horrocks
Query-Based Comparison of Mappings in Ontology-Based Data Access / 197
Meghyn Bienvenu, Riccardo Rosati
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics / 207
Pierre Bourhis, Carsten Lutz
Limiting Logical Violations in Ontology Alignnment Through Negotiation / 217
Ernesto Jimenez-Ruiz, Terry R. Payne, Alessandro Solimando, Valentina Tamma
Anti-Unification of Concepts in Description Logic EL / 227
Boris Konev, Temur Kutsia
Closed Predicates in Description Logics: Results on Combined Complexity / 237
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics / 247
Sebastian Rudolph
Full Paper: Epistemic Reasoning
Prompt Alternating-Time Epistemic Logics / 258
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Building Epistemic Logic from Observations and Public Announcements / 268
Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Sequential Equilibrium in Games of Imperfect Recall / 278
Joseph Y. Halpern, Rafael Pass
Decidable Reasoning in a Logic of Limited Belief with Function Symbols / 288
Gerhard Lakemeyer, Hector J. Levesque
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions / 298
Alessio Lomuscio, Jakub Michaliszyn
Full Paper: Knowledge Representation and Data Management
Bisimulations on Data Graphs / 309
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
On Referring Expressions in Query Answering over First Order Knowledge Bases / 319
Alexander Borgida, David Toman, Grant Weddell
Regular Open APIs / 329
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
Open-World Probabilistic Databases / 339
Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Approximations and Refinements of Certain Answers via Many-Valued Logics / 349
Marco Console, Paolo Guagliardo, Leonid Libkin
Generalized Consistent Query Answering under Existential Rules / 359
Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu
On Expressibility of Non-Monotone Operators in SPARQL / 369
Roman Kontchakov, Egor V. Kostylev
Full Paper: Planning, Strategies, and Diagnosis
Foundations for Generalized Planning in Unbounded Stochastic Domains / 380
Vaishak Belle, Hector J. Levesque
Imperfect Information in Reactive Modules Games / 390
Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge
Full Paper: Reasoning about Actions, Causality
On Logics and Semantics of Indeterminate Causation / 401
Alexander Bochman
On First-Order μ-Calculus over Situation Calculus Action Theories / 411
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Commonsense Causal Reasoning between Short Texts / 421
Zhiyi Luo, Yuchen Sha, Kenny Q. Zhu, Seung-Won Hwang, Zhongyuan Wang
Full Paper: Temporal and Spatial Reasoning
A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks / 432
Jean-François Condotta, Issam Nouaouri, Michael Sioutis
Quantifying Conflicts for Spatial and Temporal Information / 443
Jean-François Condotta, Badran Raddaoui, Yakoub Salhi
Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics / 453
Ronald de Haan, Stefan Szeider
Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions / 463
Zhiguo Long, Steven Schockaert, Sanjiang Li
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture / 473
Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Full Paper: Uncertainty
Bayesian Deduction with Subjective Opinions / 484
Magdalena Ivanovska, Audun Jøsang, Francesco Sambo
Probabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable Elimination / 494
Thomas Lukasiewicz, Maria Vanina Martinez, David Poole, Gerardo Ignacio Simari
Short Papers
Unsupervised Grounding of Textual Descriptions of Object Features and Actions in Video / 505
Muhannad Alomari, Eris Chinellato, Yiannis Gatsoulis, David C. Hogg, Anthony G. Cohn
Argumentative Approaches to Reasoning with Maximal Consistency / 509
Ofer Arieli, Christian Strasser
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering / 513
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
Online Situation-Determined Agents and their Supervision / 517
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
On the Justification of Statements in Argumentation-based Reasoning / 521
Pietro Baroni, Guido Governatori, Ho-Pun Lam, Régis Riveret
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms / 525
Ringo Baumann, Hannes Strass
Negation Without Negation in Probabilistic Logic Programming / 529
David Buchman, David Poole
An Analysis of the Equational Properties of the Well-Founded Fixed Point / 533
Arnaud Carayol, Zoltan Esik
Using Defeasible Information to Obtain Coherence / 537
Giovanni Casini, Thomas Meyer
jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks / 541
Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
Guiding Planning Engines by Transition-Based Domain Control Knowledge / 545
Lukáš Chrpa, Roman Barták
Abstract Argumentation for Case-Based Reasoning / 549
Kristijonas Cyras, Ken Satoh, Francesca Toni
ABA+: Assumption-Based Argumentation with Preferences / 553
Kristijonas Cyras, Francesca Toni
Knowledge Graph Embedding by Flexible Translation / 557
Jun Feng, Minlie Huang, Mingdong Wang, Mantong Zhou, Yu Hao, Xiaoyan Zhu
Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language / 561
Seyed Mehran Kazemi, David Poole
Infinite Paths in the Situation Calculus: Axiomatization and Properties / 565
Shakil M. Khan, Yves Lespérance
Expressive Description Logic with Instantiation Metamodelling / 569
Petra Kubincová, Ján Kľuka, Martin Homola
Easy OWL Drawing with the Graphol Visual Ontology Language / 573
Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo
A Higher-Order Semantics for Metaquerying in OWL 2 QL / 577
Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
Using Metric Temporal Logic to Specify Scheduling Problems / 581
Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith
Complexity of the Description Logic ALCM / 585
Monica Martinez, Edelweis Roher, Paula Severi
Minimality Postulates for Ontology Revision / 589
Oezguer Luetfue Oezcep
A Multi-Aspect Evaluation Framework for Comments on the Social Web / 593
Theodore Patkos, Antonis Bikakis, Giorgos Flouris
Cognitive Affordance Representations in Uncertain Logic / 597
Vasanth Sarathy, Matthias Scheutz
Representative Solutions for Multi-Objective Constraint Optimization Problems / 601
Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue
Reasoning about Truthfulness of Agents Using Answer Set Programming / 605
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.