- Martin Rezk and Jos de Bruijn. A Logic Based Approach to the Static
Analysis of Production Systems
- François Bry, Benedikt Linse and Tim Furche. The Perfect Match: RPL
and RDF Rule Languages
- Stephan Grimm and Pascal Hitzler. A Preferential Tableaux Calculus
for Circumscriptive ALCO
- Anne Schlicht and Heiner Stuckenschmidt. Distributed Resolution for
Expressive Ontology Networks BEST PAPER AWARD
- Stijn Heymans, Cristina Feier and Thomas Eiter. A Reasoner for Simple
Conceptual Logic Programs
- Steven Schockaert, Jeroen Janssen, Dirk Vermeir and Martine De
Cock. Answer Sets in a Fuzzy Equilibrium Logic
- Anastasia Analyti, Grigoris Antoniou and Carlos Viegas Damasio. A
Formal Theory for Modular ERDF Ontologies
- Christian Meilicke and Heiner Stuckenschmidt. An Efficient Method for
Computing Alignment Diagnoses
- Yue Ma and Pascal Hitzler. Paraconsistent reasoning for OWL 2
- Simon Brodt, Francois Bry and Norbert Eisinger. Search for More
Declarativity - Backward Reasoning for Rule Languages Reconsidered
- Hui Wan. Belief Logic Programming with Cyclic Dependencies
- Gergely Lukácsy and Peter Szeredi. Scalable Web Reasoning using
Logic Programming Techniques
- Umberto Straccia. A Minimal Deductive System for General Fuzzy RDF
- Aidan Hogan and Stefan Decker. On the ostensibly silent 'W' in OWL 2 RL
- Matt Mouley Bouamrane, Alan Rector and Martin Hurrell. A Hybrid
Architecture for a Preoperative Decision Support System using a Rule
Engine and a Reasoner on a Clinical Ontology