Searching for authors named "Volker Haarslev" – sorted by Relevance.
110 documents found, showing 1 through 10.
Next 10 →
-
A Logic-based Formalism for Reasoning about Visual Representations
- …A Logic-based Formalism for Reasoning about Visual Representations Volker Haarslev University…
- Cited by 2 (2 self) – Add To MetaCart
-
Using Description Logic for Reasoning about Diagrammatical Notations. in
- … Volker Haarslev University of Hamburg, Computer Science Department Vogt-Kölln-Str. 30, 22527 Hamburg…
- Cited by 2 (0 self) – Add To MetaCart
-
A fully formalized theory for describing visual notations
- …A Fully Formalized Theory for Describing Visual Notations (Extended Abstract) Abstract Volker…
- Cited by 17 (8 self) – Add To MetaCart
-
HUMAN FACTORS IN DYNAMIC E-HEALTH SYSTEMS AND DIGITAL LIBRARIES Arash
- …HUMAN FACTORS IN DYNAMIC E-HEALTH SYSTEMS AND DIGITAL LIBRARIES Arash Shaban-Nejad Volker Haarslev…
- Add To MetaCart
-
VISCO: Brining Visual Spatial Querying to Reality
- …, 1998. VISCO: Bringing Visual Spatial Querying to Reality Michael Wessel and Volker Haarslev…
- Add To MetaCart
-
A Procedure for Description Logic ALCFI
- …A Procedure for Description Logic ALCFI Yu Ding and Volker Haarslev Department of Computer Science…
- Add To MetaCart
-
Applying an ABox Consistency Tester to Modal Logic SAT Problems
- …Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems Volker Haarslev and Ralf…
- Add To MetaCart
-
Description Logic Systems with Concrete Domains: Applications for the Semantic Web
- …Description Logic Systems with Concrete Domains: Applications for the Semantic Web Volker Haarslev…
- Cited by 6 (0 self) – Add To MetaCart
-
Querying GIS with Animated Spatial Sketches
- …, pp. 197-204. Querying GIS with Animated Spatial Sketches Volker Haarslev and Michael Wessel…
- Cited by 13 (5 self) – Add To MetaCart
-
On Specifying Semantics of Visual Spatial Query Languages
- …. On Specifying Semantics of Visual Spatial Query Languages Volker Haarslev and Ralf Moller and Michael Wessel…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
