Concepedia

Jörg H. Siekmann

JH

Statistics

Publications

15

Citations

632

H-Index

12

Active since

1978

Affiliations

University of Kaiserslautern(Current)

Saarland University

Karlsruhe Institute of Technology

Jörg H. Siekmann is an author at University of Kaiserslautern specializing in computer science, computing, and formal methods.

Publications per year

1978–2007

15

Publications

15

Unification theory

Jörg H. Siekmann · Journal of Symbolic Computation · 1989 · 219 citations

, , +7

Knowledge-based proof planning

Erica Melis⋆, Jörg H. Siekmann · Artificial Intelligence · 1999 · 75 citations

An order-sorted logic for knowledge representation systems

Christoph Beierle, U. Hedtstück, Udo Pletat et al. · Artificial Intelligence · 1992 · 71 citations

, , +8

Computer supported mathematics with Ωmega

Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier · Journal of Applied Logic · 2005 · 43 citations

, , +6

A short survey on the state of the art in matching and unification problems

Peter Raulefs, Jörg H. Siekmann, P. Szabó et al. · ACM SIGSAM Bulletin · 1979 · 42 citations

, , +15

1–5 of 15