Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. 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
a service of 
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.
last updated on 2024-04-25 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
