Papers
Forgetting for Answer Set Programs Revisited
Yisong Wang, Kewen Wang, Mingyi Zhang
Multi-Agent Subset Space Logic
Yì N. Wáng, Thomas Ågotnes
An Alternative Axiomatization of DEL and Its Applications
Yanjing Wang, Guillaume Aucher
A Classification of First-Order Progressable Action Theories in Situation Calculus
Stavros Vassos, Fabio Patrizi
Compact Rewritings for Existential Rules
Michaël Thomazo
Granular Description of Qualitative Change
John G. Stell
Nominal Schema Absorption
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
On Condensing a Sequence of Updates in Answer-Set Programming
Martin Slota, João Leite
Interpolative Reasoning with Default Rules
Steven Schockaert, Henri Prade
Combining RCC5 Relations with Betweenness Information
Steven Schockaert, Sanjiang Li
Efficient Extraction and Representation of Spatial Information from Video Data
Hajar Sadeghi Sokeh, Stephen Gould, Jochen Renz
Learning from Polyhedral Sets
Salvatore Ruggieri
Cyclic Causal Models with Discrete Variables: Markov Chain Equilibrium Semantics and Sample Ordering
David Poole, Mark Crowley
Behavioral Diagnosis of LTL Specifications at Operator Level
Ingo Pill, Thomas Quaritsch
Backdoors to Abduction
Andreas Pfandler, Stefan Rümmele, Stefan Szeider
The Route to Success – A Performance Comparison of Diagnosis Algorithms
Iulia Nica, Ingo Pill, Thomas Quaritsch et al.
Computing Stable Models for Nonmonotonic Existential Rules
Despoina Magka, Markus Krötzsch, Ian Horrocks
Ontology-Based Data Access with Closed Predicates Is Inherently Intractable (Sometimes)
Carsten Lutz, Inanç Seylan, Frank Wolter
Preference-Based Query Answering in Datalog+/– Ontologies
Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari
An Epistemic Halpern–Shoham Logic
Alessio R. Lomuscio, Jakub Michaliszyn
Analogico-Deductive Generation of Gödel’s First Incompleteness Theorem from the Liar Paradox
John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord et al.
Reasoning about State Constraints in the Situation Calculus
Naiqi Li, Yi Fan, Yongmei Liu
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
Joohyung Lee, Yunsong Meng