Papers
Abstract Dialectical Frameworks Revisited
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass et al.
The Impact of Disjunction on Query Answering under Guarded-Based Existential Rules
Pierre Bourhis, Michael Morak, Andreas Pieris
Positive Subsumption in Fuzzy EL with General t-Norms
Stefan Borgwardt, Rafael Peñaloza
The Markov Assumption: Formalization and Impact
Alexander Bochman
Tractable Approximations of Consistent Query Answering for Robust Ontology-Based Data Access
Meghyn Bienvenu, Riccardo Rosati
Tractable Queries for Lightweight Description Logics
Meghyn Bienvenu, Magdalena Ortiz, Mantas Šimkus et al.
Conjunctive Regular Path Queries in Lightweight Description Logics
Meghyn Bienvenu, Magdalena Ortiz, Mantas Šimkus
First-Order Rewritability of Atomic Queries in Horn Description Logics
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Automating Quantified Conditional Logics in HOL
Christoph Benzmüller
Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs
Salem Benferhat, Célia da Costa Pereira, Andrea G. B. Tettamanzi
Reasoning about Continuous Uncertainty in the Situation Calculus
Vaishak Belle, Hector J. Levesque
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems
Francesco Belardinelli, Alessio Lomuscio
Functional Stable Model Semantics and Answer Set Programming Modulo Theories
Michael Bartholomew, Joohyung Lee
Temporal Description Logic for Ontology-Based Data Access
Alessandro Artale, Roman Kontchakov, Frank Wolter et al.
Exchanging OWL 2 QL Knowledge Bases
Marcelo Arenas, Elena Botoeva, Diego Calvanese et al.
Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints
Nouhad Amaneddine, Jean-François Condotta, Michael Sioutis
Verifiable Equilibria in Boolean Games
Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek et al.
A Unified Approximate Nearest Neighbor Search Scheme by Combining Data Structure and Hashing
Debing Zhang, Genmao Yang, Yao Hu et al.
Towards Rational Deployment of Multiple Heuristics in A*
David Tolpin, Tal Beja, Solomon Eyal Shimony et al.
Minimizing Writes in Parallel External Memory Search
Nathan R. Sturtevant, Matthew J. Rutherford
Forward Perimeter Search with Controlled Use of Memory
Thorsten Schütt, Robert Döbbelin, Alexander Reinefeld
Improved Bin Completion for Optimal Bin Packing and Number Partitioning
Ethan L. Schreiber, Richard E. Korf
Semiring-Based Mini-Bucket Partitioning Schemes
Emma Rollon, Javier Larrosa, Rina Dechter
Subset Selection of Search Heuristics
Chris Rayner, Nathan Sturtevant, Michael Bowling
Three Generalizations of the FOCUS Constraint
Nina Narodytska, Thierry Petit, Mohamed Siala et al.