Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference (KR2018)
Edited by Michael Thielscher, Francesca Toni, and Frank Wolter
Tempe, Arizona, 30 October – 2 November 2018.
Published by The AAAI Press, Palo Alto, California.
(This proceedings is also available in ebook format.)
ISBN 978-1-57735-803-9
Online ISSN 2334-1033
Print ISSN 2334-1025
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
Answer Set Programming and Logic Programming
Preference Relations by Approximation / 2
Mario Alviano, Javier Romero, Torsten Schaub
Introducing Temporal Stable Models for Linear Dynamic Logic / 12
Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub
Weight Learning in a Probabilistic Extension of Answer Set Programs / 22
Joohyung Lee, Yi Wang
A Hybrid Approach to Optimization in Answer Set Programming / 32
Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo
Omission-Based Abstraction for Answer Set Programs / 42
Zeynep G. Saribatur, Thomas Eiter
A Generator of Hard 2QBF Formulas and ASP Programs / 52
Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
Computing Logic Programs with Ordered Disjunction Using asprin / 57
Joohyung Lee, Zhun Yang
A Model-Based Approach to Visual Reasoning on CNLVR Dataset / 62
Shailaja Sampat, Joohyung Lee
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs / 67
Da Shen, Yuliya Lierler
SOGrounder: Modelling and Solving Second-Order Logic / 72
Matthias van der Hallen, Gerda Janssens
Argumentation
An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases / 78
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo Ignacio Simari, Guillermo Ricardo Simari
Gradual Semantics Accounting for Similarity between Arguments / 88
Leila Amgoud, Elise Bonzon, Jérôme Delobelle, Dragan Doder, Sébastien Konieczny, Nicolas Maudet
Measuring Similarity between Logical Arguments / 98
Leila Amgoud, Victor David
If Nothing Is Accepted — Repairing Argumentation Frameworks / 108
Ringo Baumann, Markus Ulbricht
Combining Extension-Based Semantics and Ranking-Based Semantics for Abstract Argumentation / 118
Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet
Constructive Logic Covers Argumentation and Logic Programming / 128
Jorge Fandinno, Luis Fariñas del Cerro
Updating Belief in Arguments in Epistemic Graphs / 138
Anthony Hunter, Sylwia Polberg, Nico Potyka
Continuous Dynamical Systems for Weighted Bipolar Argumentation / 148
Nico Potyka
Probabilistic Strength of Arguments with Structure / 158
Henry Prakken
Probabilistic Abstract Argumentation Based on SCC Decomposability / 168
Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert van der Torre
Extension Enforcement under Grounded Semantics in Abstract Argumentation / 178
Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
Automated Reasoning and Computation
Reachability Analysis for Neural Agent-Environment Systems / 184
Michael E. Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano
Hunting for Tractable Languages for Judgment Aggregation / 194
Ronald de Haan
iCon: A Diagrammatic Theorem Prover for Ontologies / 204
Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato
Belief Revision and Nonmonotonicity
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators / 210
Richard Booth, Jake Chandler
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework / 220
Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak
Incorporating Relevance in Epistemic States in Belief Revision / 230
James Delgrande, Pavlos Peppas
Studies in Credibility-Limited Base Revision / 240
Marco Garapa, Eduardo Fermé, Maurício D. L. Reis
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change / 248
Gabriele Kern-Isberner
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus / 257
Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque
Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report / 267
Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Rantsoudis
Parametrised Difference Revision / 277
Pavlos Peppas, Mary-Anne Williams
Towards Belief Contraction without Compactness / 287
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
On Belief Promotion / 297
Nicolas Schwind, Sébastien Konieczny, Pierre Marquis
Decision Theory, Rationality
Preference Aggregation with Incomplete CP-Nets / 308
Adrian Haret, Arianna Novaro, Umberto Grandi
Description Logics
Making Repairs in Description Logics More Gentle / 319
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Reasoning with Justifiable Exceptions in Contextual Hierarchies / 329
Loris Bozzato, Luciano Serafini, Thomas Eiter
The Combined Approach to Query Answering in Horn-ALCHOIQ / 339
David Carral, Irina Dragoste, Markus Krötzsch
Knowledge-Based Transfer Learning Explanation / 349
Jiaoyan Chen, Freddy Lecue, Jeff Z. Pan, Ian Horrocks, Huajun Chen
A Parameterized Complexity View on Description Logic Reasoning / 359
Ronald de Haan
Finite Query Answering in Expressive Description Logics with Transitive Roles / 369
Tomasz Gogacz, Yazmin Angelica Ibanez-Garcia, Filip Murlak
From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules / 379
Victor Gutierrez-Basulto, Steven Schockaert
Query Expressibility and Verification in Ontology-Based Data Access / 389
Carsten Lutz, Johannes Marti, Leif Sabellek
Query Answering for Rough EL Ontologies / 399
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
ExactLearner: A Tool for Exact Learning of EL Ontologies / 409
Ricardo Duarte, Boris Konev, Ana Ozaki
Planning, Strategies, and Diagnosis
Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints / 415
Peter Baumgartner, Sylvie Thiebaux, Felipe Trevizan
Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification / 425
Francesco Belardinelli, Catalin Dima, Aniello Murano
Approximating Perfect Recall When Model Checking Strategic Abilities / 435
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination / 445
Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel
Finite LTL Synthesis with Environment Assumptions and Quality Measures / 454
Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge / 464
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
Compiling Away Soft Trajectory Constraints in Planning / 474
Benedict Wright, Robert Mattmüller, Bernhard Nebel
Reasoning about Actions, Causality
On the Progression of Situation Calculus Universal Theories with Constants / 484
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardina
On Laws and Counterfactuals in Causal Reasoning / 494
Alexander Bochman
Combining the Causal Judgments of Experts with Possibly Different Focus Areas / 504
Meir Friedenberg, Joseph Y. Halpern
Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic / 514
Benjamin Zarrieß
Symbolic Verification of Golog Programs with First-Order BDDs / 524
Jens Classen
Reasoning about Knowledge and Belief
Reasoning about Knowledge and Strategies under Hierarchical Information / 530
Bastien Maubert, Aniello Murano
Temporal and Spatial Reasoning
A Novel Automata-Theoretic Approach to Timeline-Based Planning / 541
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala
Qualitative Representation and Reasoning over Direction Relations across Different Frames of Reference / 551
Hua Hua, Jochen Renz, Xiaoyu Ge
Cutting Diamonds: A Temporal Logic with Probabilistic Distributions / 561
Alisa Kovtunova, Rafael Peñaloza
The Window Validity Problem in Rule-Based Stream Reasoning / 571
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Uncertainty
Approximating Certainty in Querying Data and Metadata / 582
Cristina Civili, Leonid Libkin
Propositional and Predicate Logics of Incomplete Information / 592
Marco Console, Paolo Guagliardo, Leonid Libkin
Quantified Markov Logic Networks / 602
Victor Gutierrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
Extended Abstracts
Gradual Semantics for Weighted Graphs: An Unifying Approach / 613
Leila Amgoud, Dragan Doder
Synthesis under Assumptions / 615
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
Relaxing and Restraining Queries for OBDA — Extended Abstract / 617
Medina Andresel, Yazmin Angelica Ibanez-Garcia, Magdalena Ortiz, Mantas Simkus
Loop Restricted Existential Rules and First-Order Rewritability for Query Answering / 619
Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si
Changing Observations in Epistemic Temporal Logic / 621
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation / 623
Stefano Bistarelli, Francesco Santini
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming — Extended Abstract / 625
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains / 627
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
A General Approach to Reasoning with Probabilities — Extended Abstract / 629
Federico Cerutti, Matthias Thimm
Argumentation for Reasoning with Conflicting Clinical Guidelines and Preferences / 631
Kristijonas Cyras, Tiago Oliveira
Partial-State Progression for Stream Reasoning with Metric Temporal Logic / 633
Daniel de Leng, Fredrik Heintz
Navigability with Bounded Recall / 635
Kaya Deuser, Pavel Naumov
Knowledge Compilation in the Multi-Agent Epistemic Logic Kn / 637
Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen
Exploiting Treewidth for Counting Projected Answer Sets / 639
Johannes K. Fichte, Markus Hecher
Towards Explainable Inference about Object Motion using Qualitative Reasoning / 641
Xiaoyu Ge, Jochen Renz, Hua Hua
Variable Elimination for DLP-Functions / 643
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
Two AGM-Style Characterizations of Model Repair / 645
Paulo T. Guerra, Renata Wassermann
Bayesian Model Selection in Statistical Construction of Justification / 647
Hiroyuki Kido
New Inference Relations from Maximal Consistent Subsets / 649
Sébastien Konieczny, Pierre Marquis, Srdjan Vesic
A SAT-Based Approach For PSPACE Modal Logics / 651
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics / 653
Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA / 655
Stephanie McIntyre, Alexander Borgida, David Toman, Grant Weddell
Knowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web Questions / 657
Arindam Mitra, Chitta Baral, Peter Clark
Strategic Coalitions in Systems with Catastrophic Failures / 659
Pavel Naumov, Kevin Ros
Structure Learning for Relational Logistic Regression:An Ensemble Approach / 661
Nandini Ramanan, Gautam Kunapuli, Tushar Khot, Bahare Fatemi, Seyed Mehran Kazemi, David Poole, Kristian Kersting, Sriraam Natarajan
Probabilistic Coalition Structure Generation / 663
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
Metric Temporal Extensions of DL-Lite and Interval-Rigid Names / 665
Veronika Thost
Propositional Belief Merging with OWA Operators / 667
Henrique Viana, João Alcântara
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.