PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Haarslev, Volker"

Author of the publication

copydeleteadd this publication to your clipboard
Using Patterns to Explain Inferences in.

, , and . Computational Intelligence, 23 (3): 373-392 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Volker Rischmüller University of Stuttgart

Volker Kübler University of Stuttgart

Richard Völker University of Stuttgart

PD Dr. Volker Saftien University of Stuttgart

Prof. Dr. Volker Claus University of Stuttgart

 

Other publications of authors with the same name

Ontoligent Interactive Query Tool., , , and . CSWWS, volume 2 of Semantic Web and Beyond: Computing for Human Experience, page 155-169. Springer, (2006)Completion Rules for Uncertainty Reasoning with the Description Logic ALC., , and . CSWWS, volume 2 of Semantic Web and Beyond: Computing for Human Experience, page 205-225. Springer, (2006)GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations., and . VL, page 204-211. IEEE Computer Society, (1996)Using Patterns to Explain Inferences in., , and . Computational Intelligence, 23 (3): 373-392 (2007)Algebraic tableau reasoning for the description logic SHOQ., and . J. Applied Logic, 8 (4): 334-355 (2010)Konzeption einer neuen Ada-Programmierumgebung für die Bildfolgenauswertung., and . DAGM-Symposium, volume 107 of Informatik-Fachberichte, page 191-195. Springer, (1985)Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems., and . KI, 17 (3): 10- (2003)Combining Spatial and Terminological Reasoning., , and . KI, volume 861 of Lecture Notes in Computer Science, page 142-153. Springer, (1994)An OWL 2-Based Knowledge Platform Combining the Social and Semantic Webs for an Ambient Childhood Obesity Prevention System., , , , and . ANT/MobiWIS, volume 10 of Procedia Computer Science, page 110-119. Elsevier, (2012)Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles., and . KR, page 273-284. Morgan Kaufmann, (2000)