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
accepted papers
