![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
3. RR 2009: Chantilly, VA, USA
- Axel Polleres, Terrance Swift:
Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings. Lecture Notes in Computer Science 5837, Springer 2009, ISBN 978-3-642-05081-7
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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.