Michael Kohlhase

From International Center for Computational Logic

Dr. Michael Kohlhase

Former member
Michael Kohlhase
  •   Former Visiting Scientist

Newest Publications

View full publication list

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP
Informatik – Forschung und Entwicklung, 11(1):20-26, 1996
Details

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
Adapting Methods to Novel Tasks in Proof Planning
In Bernhard Nebel and Leonie Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, Proceedings of the 18th German Annual Conference on Artificial Intelligence, 379-390, 1994. Springer
Details

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann
KEIM: A Toolkit for Automated Deduction
In Alan Bundy, eds., Automated Deduction — CADE-12, Proceedings of the 12th International Conference on Automated Deduction, 807-810, 1994. Springer
Details

View full publication list