Author of the publication

Konzeption für ein Bildverarbeitungssystem zur Lösung des Korrespondenzproblems bei Stereo-Bildfolgen im Rahmen einer komfortablen ADA-Programmierumgebung.

, and . Robotersysteme, (1985)

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.

 

Other publications of authors with the same name

Algebraic tableau reasoning for the description logic SHOQ., and . J. Applied Logic, 8 (4): 334-355 (2010)Using Patterns to Explain Inferences in., , and . Computational Intelligence, 23 (3): 373-392 (2007)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)Combining Spatial and Terminological Reasoning., , and . KI, volume 861 of Lecture Notes in Computer Science, page 142-153. Springer, (1994)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)Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions., , and . FroCoS, volume 10483 of Lecture Notes in Computer Science, page 95-112. Springer, (2017)Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus., and . AIME, volume 4594 of Lecture Notes in Computer Science, page 277-286. Springer, (2007)