Papers
Efficient Query Rewriting in the Description Logic EL and Beyond
Peter Hansen, Carsten Lutz, İnanç Seylan et al.
A Modification of the Halpern-Pearl Definition of Causality
Joseph Halpern
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability
Gianluigi Greco, Jerome Lang
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue
Georg Gottlob, Andreas Pieris
Polynomial Rewritings for Linear Existential Rules
Georg Gottlob, Marco Manna, Andreas Pieris
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
Computing Social Behaviours Using Agent Models
Paolo Felli, Tim Miller, Christian Muise et al.
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
Cristina Feier, David Carral, Giorgio Stefanoni et al.
Epistemic Equilibrium Logic
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus
Liangda Fang, Yongmei Liu, Ximing Wen
A Logic for Reasoning about Justified Uncertain Beliefs
Tuan-Fang Fan, Churn-Jung Liau
Modular Systems with Preferences
Alireza Ensan, Eugenia Ternovska
The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms
Didier Dubois, Henri Prade, Agnès Rico
An Extension-Based Approach to Belief Revision in Abstract Argumentation
Martin Diller, Adrian Haret, Thomas Linsbichler et al.
Combining Existential Rules with the Power of CP-Theories
Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez et al.
On the Aggregation of Argumentation Frameworks
Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic
The Logic of Qualitative Probability
James Delgrande, Bryan Renne
Fixed-Parameter Tractable Reductions to SAT for Planning
Ronald de Haan, Martin Kronegger, Andreas Pfandler
Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic Logic
Sofie De Clercq, Steven Schockaert, Ann Nowé et al.
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev et al.
Extension Enforcement in Abstract Argumentation as an Optimization Problem
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly et al.
An Algebra of Granular Temporal Relations for Qualitative Reasoning
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions
Arthur Choi, Guy Van den Broeck, Adnan Darwiche
Probabilistic Belief Contraction Using Argumentation
Kinzang Chhogyal, Abhaya Nayak, Zhiqiang Zhuang et al.