Accepted Papers
Knowledge Representation, Reasoning and Logic
A computationally grounded semantics for artifact centric systems and abstraction results.
Francesco Belardinelli, Alessio Lomuscio and Fabio Patrizi
A constructive approach to independent and evidence retaining belief revision by general information sets
Gabriele Kern-Isberner and Patrick Krümpelmann
A logic for causal inference in time series with discrete and continuous variables
Samantha Kleinberg
A Logical Formulation for Negotiation Among Dishonest Agents
Chiaki Sakama, Son Tran and Enrico Pontelli
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics
Diego Calvanese, Domenico Carbotta and Magdalena Ortiz
A theory of meta-diagnosis: reasoning about diagnostic systems
Nuno Belard, Yannick Pencolé and Michel Combacau
An approach to minimal belief via objective belief
David Pearce and Levan Uridia
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases
David Toman, Grant Weddell, Jeffrey Pound and Jiewen Wu
Augmenting Tractable Fragments of Abstract Argumentation
Sebastian Ordyniak and Stefan Szeider
Backdoors to Tractable Answer-Set Programming
Johannes Klaus Fichte and Stefan Szeider
Belief Base Rationalization for Propositional Merging
Sebastien Konieczny, Pierre Marquis and Nicolas Schwind
Belief Management for High-Level Robot Programs
Alexander Ferrein, Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer and Alexander Ferrein
Belief Revision: Revising Horn Clause Theories
James Delgrande and Pavlos Peppas
Beth Definability in Expressive Description Logics
Balder ten Cate, Enrico Franconi and Inanc Seylan
Causal Learnability
Loizos Michael
Computing Minimum-cardinality Diagnoses by Model Relaxation
Sajjad Siddiqi
Consequence-Based Reasoning beyond Horn Ontologies
Frantisek Simancik, Yevgeny Kazakov and Ian Horrocks
Containment of Regular Path Queries under Description Logic Constraints
Diego Calvanese, Magdalena Ortiz and Mantas Simkus
Defeasible Inheritance-based Description Logics
Umberto Straccia and Govanni Casini
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability
Carsten Lutz, Robert Piro and Frank Wolter
Description Logics and Fuzzy Probability
Lutz Schröder and Dirk Pattinson
Description Logics over Lattices with Multi-valued Ontologies
Stefan Borgwardt and Rafael Penaloza
Discrete-time Temporal Reasoning with Horn DLRs
Peter Jonsson and Tomas Lööw
Dishonest Reasoning by Abduction
Chiaki Sakama
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals
Giuseppe De Giacomo, Yves Lesperance and Hector Levesque
Existential Closures for Knowledge Compilation
Pierre Marquis
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification
Dario Della Monica, Valentin Goranko, Angelo Montanari and Guido Sciavicco
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
Markus Krötzsch and Sebastian Rudolph
Finite-valued Modal Lukasiewicz Logic is PSPACE-complete
Félix Bou, Marco Cerami, Francesc Esteva
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription
Michael Bartholomew, Joohyung Lee and Yunsong Meng
Fixpoints in Temporal Description Logics
Enrico Franconi and David Toman
Foundations of Uniform Interpolation and Forgetting in Expressive Description Logics
Carsten Lutz and Frank Wolter
From First-Order Theories to Logic Programs
Heng Zhang, Yan Zhang and Yi Zhou
Generalising the Interaction Rules in Probabilistic Logic
Arjen Hommersom and Peter Lucas
Generalized Planning: Synthesizing Plans that Work for Multiple Environments
Yuxiao Hu and Giuseppe De Giacomo
Integrated Learning for Goal-Driven Autonomy
ULIT JAIDEE, Hector Munoz-Avila and David Aha
Interval-Based Possibilistic Logic
Salem Benferhat, Julien Hué, Sylvain Lagrue and Julien Rossit
Logic Programming for Boolean Networks
Katsumi Inoue
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging
Pierre Marquis and Nicolas Schwind
Managed Multi-Context Systems
Gerhard Brewka, Thomas Eiter, Michael Fink and Antonius Weinzierl
Modeling Attempt and Action Failure in Probabilistic stit Logic
Jan Broersen
Multidimensional Mereotopology with Betweenness
Torsten Hahmann and Michael Gruninger
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols
Vaishak Belle and Gerhard Lakemeyer
On Qualitative Route Descriptions
Matthias Westphal, Stefan Woelfl, Bernhard Nebel and Jochen Renz
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies
Riccardo Rosati
On the complexity of EL with defeasible inclusions
Piero Bonatti, Marco Faella and Luigi Sauro
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann and Michael Zakharyaschev
On the Progression of Knowledge in the Situation Calculus
Yongmei Liu and Ximing Wen
Context-Sensitive Diagnosis of Discrete-Event Systems
Gianfranco Lamperti and Marina Zanella
Parametric Properties of Ideal Semantics
Wolfgang Dvorak, Paul Dunne and Stefan Woltran
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ
Magdalena Ortiz, Sebastian Rudolph and Mantas Simkus
Query reasoning on trees with types, interleaving and counting
Everardo Barcenas, Pierre Geneves, Nabil Layaida and Alan Schmitt
RCC8 is polynomial on networks of bounded treewidth
Manuel Bodirsky and Stefan Woelfl
Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs
Yoshihiro Maruyama
Reasoning about typicality in low complexity DLs: the logics EL^bot T_min and DL-lite_R T_min
Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato
Reasoning-Supported Interactive Revision of Knowledge Bases
Nadeschda Nikitina, Sebastian Rudolph and Birte Glimm
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World
Guido Fiorino
Relating Carneades with abstract argumentation
Bas van Gijzel and Henry Prakken
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs
Gerhard Brewka, Paul Dunne and Stefan Woltran
Repairing Incorrect Knowledge with Model Formulation and Metareasoning
Scott Friedman and Kenneth Forbus
Revising by an Inconsistent Set of Formulas
James Delgrande
Revisiting Preferences and Argumentation
Sanjay Modgil and Henry Prakken
SDD: A new canonical representation of propositional knowledge bases
Adnan Darwiche
Succinctness of Epistemic Languages
Wiebe van der Hoek, Petar Iliev, Tim French and Barteld Kooi
Tangled Modal Logic for Spatial Reasoning
David Fernández
The General Game Playing Description Language Is Universal
Michael Thielscher
Transitively Relational Partial Meet Horn Contraction
Zhiqiang Zhuang and Maurice Pagnucco
Walking the Complexity Lines for Generalized Guarded Existential Rules
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph and Michael Thomazo
Well-Supported Semantics for Description Logic Programs
Yi-Dong Shen
What is an Ideal Logic for Reasoning with Inconsistency?
Ofer Arieli, Arnon Avron and Anna Zamansky