accepted papers

Full Papers

On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
Luca Aceto, Dario Della Monica, Anna Ingolfsdottir, Angelo Montanari and Guido Sciavicco

Modular Paracoherent Answer Sets
Giovanni Amendola, Thomas Eiter and Nicola Leone

Only-Knowing à la Halpern-Moses for non-omniscient rational agents: a preliminary report
Dimitris Askounis, Costas Koutras, Christos Moyzes and Yorgos Zikos

Revisiting Postulates for Inconsistency Measures
Philippe Besnard

Improving the Normalization of Weight Rules in Answer Set Programs
Jori Bomanson, Martin Gebser and Tomi Janhunen

The Fuzzy Description Logic G-FL0 with Greatest Fixed-Point Semantics
Stefan Borgwardt, José A. Leyva Galano and Rafael Peñaloza

A prioritized assertional-based revision for DL-Lite knowledge bases
Zied Bouraoui, Salem Benferhat, Odile Papini and Eric Würbel

Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations
Davide Bresolin, Emilio Muñoz-Velasco and Guido Sciavicco

A complexity assessment for queries involving sufficient and necessary causes
Pedro Cabalar, Jorge Fandiño and Michael Fink

A Free Logic for Stable Models with Partial Intensional Functions
Pedro Cabalar, Luis Farinas Del Cerro, David Pearce and Agustin Valverde

Verification of Context-Sensitive Knowledge and Action Bases
Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali and Ario Santoso

Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
Giovanni Casini, Thomas Meyer, Kody Moodley and Riku Nortje

Tight Complexity Bounds for Reasoning in the Description Logic BEL
Ismail Ilkan Ceylan and Rafael Peñaloza

A Translation-based Approach for Revision of Argumentation Frameworks
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly and Pierre Marquis

Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information
Sofie De Clercq, Steven Schockaert, Martine De Cock and Ann Nowé

LEG networks for ranking functions
Christian Eichhorn and Gabriele Kern-Isberner

Computing Repairs for Inconsistent DL-programs over EL ontologies
Thomas Eiter, Michael Fink and Daria Stepanova

A dynamic view of active integrity constraints
Guillaume Feuillade and Andreas Herzig

SAT modulo Graphs: Acyclicity
Martin Gebser, Tomi Janhunen and Jussi Rintanen

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
Said Jabbour, Joao Marques-Silva, Lakhdar Sais and Yakoub Salhi

Preserving Strong Equivalence while Forgetting
Matthias Knorr and Jose Julio Alferes

Logical Foundations of Possibilistic Keys
Henning Koehler, Uwe Leck, Sebastian Link and Henri Prade

Logics for Approximating Implication Problems of Saturated Conditional Independence
Henning Koehler and Sebastian Link

Inductive Learning of Answer Set Programs
Mark Law, Alessandra Russo and Krysia Broda

Stable Models of Fuzzy Propositional Formulas
Joohyung Lee and Yi Wang

Error-Tolerant Reasoning in the Description Logic EL
Michel Ludwig and Rafael Peñaloza

Similarity Orders from Causal Equations
Johannes Marti and Riccardo Pinosio

Efficient program transformers for translating LCC to PDL
Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano and Fernando R. Velázquez-Quesada

Action Theories over Generalized Databases with Equality Constraints
Fabio Patrizi and Stavros Vassos

Constructive Models for Contraction with Intransitive Plausibility Indifference
Pavlos Peppas and Mary-Anne Williams

Four floors for the theory of theory change: The case of imperfect discrimination
Hans Rott

Finitary S5-Theories
Tran Cao Son, Enrico Pontelli, Chitta Baral and Gregory Gelfond

System Descriptions

The D-FLAT System for Dynamic Programming on Tree Decompositions
Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher and Stefan Woltran

System ASPMT2SMT: Computing ASPMT Theories by SMT Solvers
Michael Bartholomew and Joohyung Lee

A Library of Anti-Unification Algorithms
Alexander Baumgartner and Temur Kutsia

Short Papers

Argumentative Aggregation of Individual Opinions
Cosmina Croitoru

Logic foundations of the OCL modelling language
Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull and Ernest Teniente

A Logic for Belief Contraction
Konstantinos Georgatos

Revisiting reductants in the Multi-adjoint Logic Programming framework
Pascual Julián-Iranzo, Jesús Medina Moreno and Manuel Ojeda Aciego

Reasoning about Dynamic Normative Systems
Max Knobbout, Mehdi Dastani and John-Jules Meyer

A Modal Logic of Knowledge, Belief, and Estimation
Costas Koutras, Christos Moyzes and Yorgos Zikos

Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario
Giuseppe Marra, Francesco Ricca, Giorgio Terracina and Domenico Ursino

Answer Set Solver Backdoors
Emilia Oikarinen and Matti Järvisalo

Probabilistic Abstract Dialectical Frameworks
Sylwia Polberg and Dragan Doder

Constraint-Based Algorithm for Computing Temporal Invariants
Jussi Rintanen

Measuring similarity between sets of formulas in judgment aggregation
Marija Slavkovik and Thomas Ågotnes

Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem
Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara and Naoyuki Tamura

Short System Descriptions

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance
María Alpuente, Santiago Escobar, Javier Espert and José Meseguer

Drawing Euler diagrams from region connection calculus specifications with local search
Françcois Schwarzentruber and Jin-Kao Hao