3. RR 2009: Chantilly, VA, USA

Invited Papers and Tutorial

• Robert A. Kowalski, Fariba Sadri:
  Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. 1-23
  
• Benjamin N. Grosof:
  SILK: Higher Level Rules with Defaults and Semantic Scalability. 24-25
  
• Thomas Lukasiewicz:
  Uncertainty Reasoning for the Semantic Web. 26-39
  

Proof/Deduction Procedures

• Stephan Grimm, Pascal Hitzler:
  A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}. 40-54
  
• Stijn Heymans, Cristina Feier, Thomas Eiter:
  A Reasoner for Simple Conceptual Logic Programs. 55-70
  
• Simon Brodt, François Bry, Norbert Eisinger:
  Search for More Declarativity. 71-86
  

Scalability

• Anne Schlicht, Heiner Stuckenschmidt:
  Distributed Resolution for Expressive Ontology Networks. 87-101
  
• Gergely Lukácsy, Péter Szeredi:
  Scalable Web Reasoning Using Logic Programming Techniques. 102-117
  
• Aidan Hogan, Stefan Decker:
  On the Ostensibly Silent 'W' in OWL 2 RL. 118-134
  

Uncertainty

• Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock:
  Answer Sets in a Fuzzy Equilibrium Logic. 135-149
  
• Hui Wan:
  Belief Logic Programming with Cyclic Dependencies. 150-165
  
• Umberto Straccia:
  A Minimal Deductive System for General Fuzzy RDF. 166-181
  

Knowledge Amalgamation and Querying

• Christian Meilicke, Heiner Stuckenschmidt:
  An Efficient Method for Computing Alignment Diagnoses. 182-196
  
• Yue Ma, Pascal Hitzler:
  Paraconsistent Reasoning for OWL 2. 197-211
  
• Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio:
  A Formal Theory for Modular ERDF Ontologies. 212-226
  
• François Bry, Tim Furche, Benedikt Linse:
  The Perfect Match: RPL and RDF Rule Languages. 227-241
  

Rules for Decision Support and Production Systems

• Matt-Mouley Bouamrane, Alan L. Rector, Martin Hurrell:
  A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology. 242-253
  
• Jos de Bruijn, Martín Rezk:
  A Logic Based Approach to the Static Analysis of Production Systems. 254-268