Author of the publication

Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.

, , and . Description Logics, volume 49 of CEUR Workshop Proceedings, CEUR-WS.org, (2001)

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

Connectionist Models of Cognition and Perception II, and . chapter Staged Learning of Saccadic Eye Movements with a Robot Camera Head, page 82-91. World Scientific, New Jersey, London, (2004)Staged Learning of Saccadic Eye Movements with a Robot Camera Head, and . chapter Connectionist Models of Cognition and Perception II, page 82-91. World Scientific, New Jersey, London, (2004)Action Selection and Mental Transformation Based on a Chain of Forward Models, and . From Animals to Animats 8: Proceedings of the Eighth International Conference on Simulation of Adaptive Behavior, (2004)Bootstrapping cognition from behavior --- A computerized thought experiment, and . Cognitive Science, 32 (3): 504-542 (2008)Suchalgorithmen und Interaktionstechniken für Fahrplan-Informationssysteme. LKI-M-91/3. Labor für Künstliche Intelligenz, (1991)Stream-temporal Querying with Ontologies, , and . HiDeSt '15---Proceedings of the First Workshop on High-Level Declarative Stream Processing (co-located with KI 2015), volume 1447 of CEUR Workshop Proceedings, page 42--55. CEUR-WS.org, (2015)Advances in Accessing Big Data with Expressive Ontologies, , , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 842--853. CEUR-WS.org, (2013)RACER System Description, and . Automated Reasoning: First International Joint Conference (IJCAR) 2001, volume 2083 of Lecture Notes in Computer Science, page 701. Siena, Italy, Springer-Verlag, (June 2001)Querying Large-Scale Ontologies.. SEBD, page 1-2. Edizioni Seneca, (2009)Visualisierung und Benutzungsschnittstellen: Anwendungen und Forschungsfragen.. GI Jahrestagung, page 322-327. Springer, (1993)