Jörn Richts

Publication Activity (10 Years)

Years Active: 1994-1999
Publications (10 Years): 0

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Stephan Kepser, Jörn Richts
UNIMOK: A System for Combining Equational Unification Algorithm. RTA (1999)
Stephan Kepser, Jörn Richts
Optimisation Techniques for Combining Constraint Solvers. FroCoS (1998)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP. Inform. Forsch. Entwickl. 11 (1) (1996)
Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn
Planning Mathematical Proofs with Methods. J. Inf. Process. Cybern. 30 (5/6) (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
Adapting Methods to Novel Tasks in Proof Planning. KI (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Omega-MKRP: A Proof Development Environment. CADE (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
KEIM: A Toolkit for Automated Deduction. CADE (1994)