Full Papers: Argumentation
| Axiomatic Foundations of Acceptability Semantics | |
| Leila Amgoud, Jonathan Ben-Naim |
| Ranking Arguments With Compensation-Based Semantics | |
| Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic |
| Characterizing Equivalence Notions for Labelling-Based Semantics | |
| Ringo Baumann |
| Merging of Abstract Argumentation Frameworks | |
| Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran |
| On the Functional Completeness of Argumentation Semantics | |
| Massimiliano Giacomin, Thomas Linsbichler, Stefan Woltran |
| On Partial Information and Contradictions in Probabilistic Abstract Argumentation | |
| Anthony Hunter, Matthias Thimm |
| Discontinuity-Free Decision Support with Quantitative Argumentation Debates | |
| Antonio Rago, Francesca Toni, Marco Aurisicchio, Pietro Baroni |
Full Papers: Automated Reasoning and Computation
| Declarative Solver Development: Case Studies | |
| Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
| A MIS Partition Based Framework for Measuring Inconsistency | |
| Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi |
| Solving PPPP-Complete Problems Using Knowledge Compilation | |
| Umut Oztok, Arthur Choi, Adnan Darwiche |
| Implicit Hitting Set Algorithms for Reasoning Beyond NP | |
| Paul Saikko, Johannes P. Wallner, Matti Järvisalo |
| Some Complexity Results on Inconsistency Measurement | |
| Matthias Thimm, Johannes Peter Wallner |
Full Papers: Belief Revision and Nonmonotonicity
| Consolidating Probabilistic Knowledge Bases via Belief Contraction | |
| Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann |
| The Ultimate Guide to Forgetting in Answer Set Programming | |
| Ricardo Goncalves, Matthias Knorr, João Leite |
| Weighted Rules under the Stable Model Semantics | |
| Joohyung Lee, Yi Wang |
| Preference and Priorities: A Study Based on Contrction | |
| Marlo Souza, Alvaro Moreira, Renata Vieira, John-Jules Ch. Meyer |
Full Papers: Decision Theory, Rationality
| Boolean Hedonic Games | |
| Haris Aziz, Paul Harrenstein, Jerome Lang, Michael Wooldridge |
| Succinctness of Languages for Judgment Aggregation | |
| Ulle Endriss, Umberto Grandi, Ronald de Haan, Jerome Lang |
Full Papers: Description Logics
| Extending Consequence-Based Reasoning to SRIQ | |
| Andrew Bate, Boris Motik, Bernardo Cuenca Grau, František Simančík, Ian Horrocks |
| Query-Based Comparison of Mappings in Ontology-Based Data Access | |
| Meghyn Bienvenu, Riccardo Rosati |
| Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics | |
| Pierre Bourhis, Carsten Lutz |
| Limiting Logical Violations in Ontology Alignnment Through Negotiation | |
| Ernesto Jimenez-Ruiz, Terry R. Payne, Alessandro Solimando, Valentina Tamma |
| Anti-Unification of Concepts in Description Logic EL | |
| Boris Konev, Temur Kutsia |
| Closed Predicates in Description Logics: Results on Combined Complexity | |
| Nhung Ngo, Magdalena Ortiz, Mantas Simkus |
| Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics | |
| Sebastian Rudolph |
Full Papers: Epistemic Reasoning
| Prompt Alternating-Time Epistemic Logics | |
| Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger |
| Building Epistemic Logic from Observations and Public Announcements | |
| Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber |
| Sequential Equilibrium in Games of Imperfect Recall | |
| Joseph Y. Halpern, Rafael Pass |
| Decidable Reasoning in a Logic of Limited Belief with Function Symbols | |
| Gerhard Lakemeyer, Hector J. Levesque |
| Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions | |
| Alessio Lomuscio, Jakub Michaliszyn |
Full Paper: Knowledge Representation and Data Management
| Bisimulations on Data Graphs | |
| Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira |
| On Referring Expressions in Query Answering over First Order Knowledge Bases | |
| Alexander Borgida, David Toman, Grant Weddell |
| Regular Open APIs | |
| Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| Open-World Probabilistic Databases | |
| Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck |
| Approximations and Refinements of Certain Answers via Many-Valued Logics | |
| Marco Console, Paolo Guagliardo, Leonid Libkin |
| Generalized Consistent Query Answering under Existential Rules | |
| Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu |
| On Expressibility of Non-Monotone Operators in SPARQL | |
| Roman Kontchakov, Egor V. Kostylev |
Full Papers: Planning, Strategies, and Diagnosis
| Foundations for Generalized Planning in Unbounded Stochastic Domains | |
| Vaishak Belle, Hector J. Levesque |
| Imperfect Information in Reactive Modules Games | |
| Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge |
Full Papers: Reasoning about Actions, Causality
| On Logics and Semantics of Indeterminate Causation | |
| Alexander Bochman |
| On First-Order μ-Calculus over Situation Calculus Action Theories | |
| Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| Commonsense Causal Reasoning between Short Texts | |
| Zhiyi Luo, Yuchen Sha, Kenny Q. Zhu, Seung-Won Hwang, Zhongyuan Wang |
Full Papers: Temporal and Spatial Reasoning
| A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks | |
| Jean-François Condotta, Issam Nouaouri, Michael Sioutis |
| Quantifying Conflicts for Spatial and Temporal Information | |
| Jean-François Condotta, Badran Raddaoui, Yakoub Salhi |
| Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics | |
| Ronald de Haan, Stefan Szeider |
| Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions | |
| Zhiguo Long, Steven Schockaert, Sanjiang Li |
| Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture | |
| Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
Full Papers: Uncertainty
| Bayesian Deduction with Subjective Opinions | |
| Magdalena Ivanovska, Audun Jøsang, Francesco Sambo |
| Probabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable Elimination | |
| Thomas Lukasiewicz, Maria Vanina Martinez, David Poole, Gerardo Ignacio Simari |
Short Papers
| Unsupervised Grounding of Textual Descriptions of Object Features and Actions in Video | |
| Muhannad Alomari, Eris Chinellato, Yiannis Gatsoulis, David C. Hogg, Anthony G. Cohn |
| Argumentative Approaches to Reasoning with Maximal Consistency | |
| Ofer Arieli, Christian Strasser |
| 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 |
| Online Situation-Determined Agents and their Supervision | |
| Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance |
| On the Justification of Statements in Argumentation-based Reasoning | |
| Pietro Baroni, Guido Governatori, Ho-Pun Lam, Régis Riveret |
| An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms | |
| Ringo Baumann, Hannes Strass |
| Negation Without Negation in Probabilistic Logic Programming | |
| David Buchman, David Poole |
| An Analysis of the Equational Properties of the Well-Founded Fixed Point | |
| Arnaud Carayol, Zoltan Esik |
| Using Defeasible Information to Obtain Coherence | |
| Giovanni Casini, Thomas Meyer |
| jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks | |
| Federico Cerutti, Mauro Vallati, Massimiliano Giacomin |
| Guiding Planning Engines by Transition-Based Domain Control Knowledge | |
| Lukáš Chrpa, Roman Barták |
| Abstract Argumentation for Case-Based Reasoning | |
| Kristijonas Cyras, Ken Satoh, Francesca Toni |
| ABA+: Assumption-Based Argumentation with Preferences | |
| Kristijonas Cyras, Francesca Toni |
| Knowledge Graph Embedding by Flexible Translation | |
| Jun Feng, Minlie Huang, Mingdong Wang, Mantong Zhou, Yu Hao, Xiaoyan Zhu |
| Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language | |
| Seyed Mehran Kazemi, David Poole |
| Infinite Paths in the Situation Calculus: Axiomatization and Properties | |
| Shakil M. Khan, Yves Lespérance |
| Expressive Description Logic with Instantiation Metamodelling | |
| Petra Kubincová, Ján Kľuka, Martin Homola |
| Easy OWL Drawing with the Graphol Visual Ontology Language | |
| Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo |
| A Higher-Order Semantics for Metaquerying in OWL 2 QL | |
| Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi |
| Using Metric Temporal Logic to Specify Scheduling Problems | |
| Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith |
| Complexity of the Description Logic ALCM | |
| Monica Martinez, Edelweis Roher, Paula Severi |
| Minimality Postulates for Ontology Revision | |
| Oezguer Luetfue Oezcep |
| A Multi-Aspect Evaluation Framework for Comments on the Social Web | |
| Theodore Patkos, Antonis Bikakis, Giorgos Flouris |
| Cognitive Affordance Representations in Uncertain Logic | |
| Vasanth Sarathy, Matthias Scheutz |
| Representative Solutions for Multi-Objective Constraint Optimization Problems | |
| Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue |
| Reasoning about Truthfulness of Agents Using Answer Set Programming | |
| Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
Copyright © 2018 Association for the Advancement of Artificial Intelligence. All Rights Reserved.