Christoph Beierle
Author
Alternate names C. Beierle, Christoph Beierle
Institution University of Hagen
Past institutions University of Hagen, Schmalkalden University of Applied Sciences, Regensburg University of Applied Sciences, University of Tübingen, IBM (United States) +2 more
ORCID: Yes
H-index: 17
I10-index: 47
Works count: 325
Citations count: 1,532
An order-sorted logic for knowledge representation systems
1992 · Christoph Beierle, U. Hedtstück, et al. · Artificial Intelligence
Logic Programming: Formal Methods and Practical Applications
1994 · Christoph Beierle, Lutz Plümer
Methoden wissensbasierter Systeme
2000 · Christoph Beierle, Gabriele Kern-Isberner