Papers
Action Language BC: Preliminary Report
Joohyung Lee, Vladimir Lifschitz, Fangkai Yang
StarVars—Effective Reasoning about Relative Directions
Jae Hee Lee, Jochen Renz, Diedrich Wolter
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals
Gerhard Lakemeyer, Hector J. Levesque
Syntactic Labelled Tableaux for Łukasiewicz Fuzzy ALC
Agnieszka Kułacka, Dirk Pattinson, Lutz Schröder
Parameterized Complexity of Optimal Planning: A Detailed Map
Martin Kronegger, Andreas Pfandler, Reinhard Pichler
Knowledge Compilation for Model Counting: Affine Decision Trees
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis et al.
Implicit Learning of Common Sense for Reasoning
Brendan Juba
Iterated Boolean Games
Julian Gutierrez, Paul Harrenstein, Michael Wooldridge
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
A Strongly-Local Contextual Logic
Michael James Gratton
Advanced Conflict-Driven Disjunctive Answer Set Solving
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
Representation and Reasoning about General Solid Rectangles
Xiaoyu Ge, Jochen Renz
On the Complexity of Probabilistic Abstract Argumentation
Bettina Fazzinga, Sergio Flesca, Francesco Parisi
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions
Luis Fariñas del Cerro, David Pearce, Agustín Valverde
Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues
Hélène Fargier, Pierre Marquis, Nicolas Schmidt
Towards a Knowledge Compilation Map for Heterogeneous Representation Languages
Hélène Fargier, Pierre Marquis, Alexandre Niveau
Data Repair of Inconsistent DL-Programs
Thomas Eiter, Michael Fink, Daria Stepanova
A Formal Account of Nondeterministic and Failed Actions
James P. Delgrande, Hector J. Levesque
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces
Giuseppe De Giacomo, Moshe Y. Vardi
Bounded Epistemic Situation Calculus Theories
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence
Denver Dash, Mark Voortman, Martijn de Jongh
Computing Datalog Rewritings Beyond Horn Ontologies
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos et al.
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Nadia Creignou, Reinhard Pichler, Stefan Woltran
Automated Reasoning to Infer All Minimal Keys
P. Cordero, M. Enciso, A. Mora
Verification of Inconsistency-Aware Knowledge and Action Bases
Diego Calvanese, Evgeny Kharlamov, Marco Montali et al.