Presentations and Authors


Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
Track:
 

Full Papers: Argumentation

Axiomatic Foundations of Acceptability Semantics PDF
Leila Amgoud, Jonathan Ben-Naim
Ranking Arguments With Compensation-Based Semantics PDF
Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic
Characterizing Equivalence Notions for Labelling-Based Semantics PDF
Ringo Baumann
Merging of Abstract Argumentation Frameworks PDF
Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran
On the Functional Completeness of Argumentation Semantics PDF
Massimiliano Giacomin, Thomas Linsbichler, Stefan Woltran
On Partial Information and Contradictions in Probabilistic Abstract Argumentation PDF
Anthony Hunter, Matthias Thimm
Discontinuity-Free Decision Support with Quantitative Argumentation Debates PDF
Antonio Rago, Francesca Toni, Marco Aurisicchio, Pietro Baroni

Full Papers: Automated Reasoning and Computation

Declarative Solver Development: Case Studies PDF
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
A MIS Partition Based Framework for Measuring Inconsistency PDF
Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
Solving PPPP-Complete Problems Using Knowledge Compilation PDF
Umut Oztok, Arthur Choi, Adnan Darwiche
Implicit Hitting Set Algorithms for Reasoning Beyond NP PDF
Paul Saikko, Johannes P. Wallner, Matti Järvisalo
Some Complexity Results on Inconsistency Measurement PDF
Matthias Thimm, Johannes Peter Wallner

Full Papers: Belief Revision and Nonmonotonicity

Consolidating Probabilistic Knowledge Bases via Belief Contraction PDF
Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann
The Ultimate Guide to Forgetting in Answer Set Programming PDF
Ricardo Goncalves, Matthias Knorr, João Leite
Weighted Rules under the Stable Model Semantics PDF
Joohyung Lee, Yi Wang
Preference and Priorities: A Study Based on Contrction PDF
Marlo Souza, Alvaro Moreira, Renata Vieira, John-Jules Ch. Meyer

Full Papers: Decision Theory, Rationality

Boolean Hedonic Games PDF
Haris Aziz, Paul Harrenstein, Jerome Lang, Michael Wooldridge
Succinctness of Languages for Judgment Aggregation PDF
Ulle Endriss, Umberto Grandi, Ronald de Haan, Jerome Lang

Full Papers: Description Logics

Extending Consequence-Based Reasoning to SRIQ PDF
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, František Simančík, Ian Horrocks
Query-Based Comparison of Mappings in Ontology-Based Data Access PDF
Meghyn Bienvenu, Riccardo Rosati
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics PDF
Pierre Bourhis, Carsten Lutz
Limiting Logical Violations in Ontology Alignnment Through Negotiation PDF
Ernesto Jimenez-Ruiz, Terry R. Payne, Alessandro Solimando, Valentina Tamma
Anti-Unification of Concepts in Description Logic EL PDF
Boris Konev, Temur Kutsia
Closed Predicates in Description Logics: Results on Combined Complexity PDF
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics PDF
Sebastian Rudolph

Full Papers: Epistemic Reasoning

Prompt Alternating-Time Epistemic Logics PDF
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Building Epistemic Logic from Observations and Public Announcements PDF
Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Sequential Equilibrium in Games of Imperfect Recall PDF
Joseph Y. Halpern, Rafael Pass
Decidable Reasoning in a Logic of Limited Belief with Function Symbols PDF
Gerhard Lakemeyer, Hector J. Levesque
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions PDF
Alessio Lomuscio, Jakub Michaliszyn

Full Paper: Knowledge Representation and Data Management

Bisimulations on Data Graphs PDF
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
On Referring Expressions in Query Answering over First Order Knowledge Bases PDF
Alexander Borgida, David Toman, Grant Weddell
Regular Open APIs PDF
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
Open-World Probabilistic Databases PDF
Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Approximations and Refinements of Certain Answers via Many-Valued Logics PDF
Marco Console, Paolo Guagliardo, Leonid Libkin
Generalized Consistent Query Answering under Existential Rules PDF
Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu
On Expressibility of Non-Monotone Operators in SPARQL PDF
Roman Kontchakov, Egor V. Kostylev

Full Papers: Planning, Strategies, and Diagnosis

Foundations for Generalized Planning in Unbounded Stochastic Domains PDF
Vaishak Belle, Hector J. Levesque
Imperfect Information in Reactive Modules Games PDF
Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge

Full Papers: Reasoning about Actions, Causality

On Logics and Semantics of Indeterminate Causation PDF
Alexander Bochman
On First-Order μ-Calculus over Situation Calculus Action Theories PDF
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Commonsense Causal Reasoning between Short Texts PDF
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 PDF
Jean-François Condotta, Issam Nouaouri, Michael Sioutis
Quantifying Conflicts for Spatial and Temporal Information PDF
Jean-François Condotta, Badran Raddaoui, Yakoub Salhi
Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics PDF
Ronald de Haan, Stefan Szeider
Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions PDF
Zhiguo Long, Steven Schockaert, Sanjiang Li
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture PDF
Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

Full Papers: Uncertainty

Bayesian Deduction with Subjective Opinions PDF
Magdalena Ivanovska, Audun Jøsang, Francesco Sambo
Probabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable Elimination PDF
Thomas Lukasiewicz, Maria Vanina Martinez, David Poole, Gerardo Ignacio Simari

Short Papers

Unsupervised Grounding of Textual Descriptions of Object Features and Actions in Video PDF
Muhannad Alomari, Eris Chinellato, Yiannis Gatsoulis, David C. Hogg, Anthony G. Cohn
Argumentative Approaches to Reasoning with Maximal Consistency PDF
Ofer Arieli, Christian Strasser
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering PDF
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 PDF
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
On the Justification of Statements in Argumentation-based Reasoning PDF
Pietro Baroni, Guido Governatori, Ho-Pun Lam, Régis Riveret
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms PDF
Ringo Baumann, Hannes Strass
Negation Without Negation in Probabilistic Logic Programming PDF
David Buchman, David Poole
An Analysis of the Equational Properties of the Well-Founded Fixed Point PDF
Arnaud Carayol, Zoltan Esik
Using Defeasible Information to Obtain Coherence PDF
Giovanni Casini, Thomas Meyer
jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks PDF
Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
Guiding Planning Engines by Transition-Based Domain Control Knowledge PDF
Lukáš Chrpa, Roman Barták
Abstract Argumentation for Case-Based Reasoning PDF
Kristijonas Cyras, Ken Satoh, Francesca Toni
ABA+: Assumption-Based Argumentation with Preferences PDF
Kristijonas Cyras, Francesca Toni
Knowledge Graph Embedding by Flexible Translation PDF
Jun Feng, Minlie Huang, Mingdong Wang, Mantong Zhou, Yu Hao, Xiaoyan Zhu
Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language PDF
Seyed Mehran Kazemi, David Poole
Infinite Paths in the Situation Calculus: Axiomatization and Properties PDF
Shakil M. Khan, Yves Lespérance
Expressive Description Logic with Instantiation Metamodelling PDF
Petra Kubincová, Ján Kľuka, Martin Homola
Easy OWL Drawing with the Graphol Visual Ontology Language PDF
Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo
A Higher-Order Semantics for Metaquerying in OWL 2 QL PDF
Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
Using Metric Temporal Logic to Specify Scheduling Problems PDF
Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith
Complexity of the Description Logic ALCM PDF
Monica Martinez, Edelweis Roher, Paula Severi
Minimality Postulates for Ontology Revision PDF
Oezguer Luetfue Oezcep
A Multi-Aspect Evaluation Framework for Comments on the Social Web PDF
Theodore Patkos, Antonis Bikakis, Giorgos Flouris
Cognitive Affordance Representations in Uncertain Logic PDF
Vasanth Sarathy, Matthias Scheutz
Representative Solutions for Multi-Objective Constraint Optimization Problems PDF
Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue
Reasoning about Truthfulness of Agents Using Answer Set Programming PDF
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini


Copyright © 2018 Association for the Advancement of Artificial Intelligence. All Rights Reserved.