Hochschulschrift
Scaling Up Description Logic Reasoning by Distributed Resolution
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Mannheim, Universität Mannheim, Diss., 2012
- Keyword
-
Automatisches Beweisverfahren ; Paralleler Algorithmus ; Wissensverarbeitung
- Event
-
Veröffentlichung
- (where)
-
Mannheim
- (who)
-
Universitätsbibliothek Mannheim
- (when)
-
2012
- Creator
- Contributor
-
Stuckenschmidt, Heiner
- URN
-
urn:nbn:de:bsz:180-madoc-313655
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Schlicht, Anne
- Stuckenschmidt, Heiner
- Universitätsbibliothek Mannheim
Time of origin
- 2012
Other Objects (12)
Scaling up description logic reasoning by distributed resolution
Reasoning in Description Logic Ontologies for Privacy Management
Error-Tolerant Reasoning in the Description Logic EL
Reasoning in description logic ontologies for privacy management
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
Techniques for optimized reasoning in description logic knowledge bases
Logic and causal reasoning
Reasoning with logic programming
Safe Reasoning with Logic LTS
Nonmonotonic logic : context dependent reasoning
Scaling Agile with a Distributed Team
A generalized iterative scaling algorithm for maximum entropy reasoning in relational probabilistic conditional logic under aggregation semantics
Scaling up description logic reasoning by distributed resolution
Reasoning in Description Logic Ontologies for Privacy Management
Error-Tolerant Reasoning in the Description Logic EL
Reasoning in description logic ontologies for privacy management
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
Techniques for optimized reasoning in description logic knowledge bases
Logic and causal reasoning
Reasoning with logic programming
Safe Reasoning with Logic LTS
Nonmonotonic logic : context dependent reasoning
Scaling Agile with a Distributed Team
A generalized iterative scaling algorithm for maximum entropy reasoning in relational probabilistic conditional logic under aggregation semantics
Scaling up description logic reasoning by distributed resolution
Reasoning in Description Logic Ontologies for Privacy Management
Error-Tolerant Reasoning in the Description Logic EL
Reasoning in description logic ontologies for privacy management
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
Techniques for optimized reasoning in description logic knowledge bases
Logic and causal reasoning
Reasoning with logic programming
Safe Reasoning with Logic LTS
Nonmonotonic logic : context dependent reasoning
Scaling Agile with a Distributed Team