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.