Author of the publication

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

ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System., , , and . Resource-Adaptive Cognitive Processes, Springer, (2011)Opening the AC-Unification Race., , , , , , and . J. Autom. Reasoning, 4 (4): 465-474 (1988)<Omega>MEGA: Ein mathematisches Assistenzsystem., , and . Kognitionswissenschaft, 7 (3): 101-105 (1998)Knowledge-Based Proof Planning., and . Artif. Intell., 115 (1): 65-105 (1999)Künstliche Intelligenz - Perspektiven einer wissenschaftlichen Disziplin und Realisierungsmöglichkeiten., , , , , , , , and . Informatik Spektrum, 14 (4): 201-206 (1991)Computergestützte Frühwarn- und Entwscheidungssysteme., and . Informatik Spektrum, 10 (1): 24-39 (1987)Unification theory., and . Handbook of Logic in Artificial Intelligence and Logic Programming (2), Oxford University Press, (1994)Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure., and . GWAI, volume 47 of Informatik-Fachberichte, page 199-200. Springer, (1981)A short survey on the state of the art in matching and unification problems., , , and . ACM SIGSAM Bulletin, 13 (2): 14-20 (1979)Challenges in Search and Usage of Multi-media Learning Objects., , , , , and . Cognitive Systems, volume 4429 of Lecture Notes in Computer Science, page 36-44. Springer, (2005)