Robert Rehbold

Publication Activity (10 Years)

Years Active: 1987-1990
Publications (10 Years): 0

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Martin Helmut Alt, Robert Rehbold, Ralf Scheidhauer
QUASIMODIS: Modellbasierte Diagnose dynamischer Systeme mit qualitativer Simulation. GWAI (1990)
Klaus Nökel, Robert Rehbold
Bericht zum internationalen Workshop über modellbasierte Diagnose. Künstliche Intell. 3 (4) (1989)
Thomas Beck, Robert Rehbold
Bericht zum 2. Workshop Diagnostik-Expertensysteme. Künstliche Intell. 3 (4) (1989)
Knut Hinkelmann, Klaus Nökel, Robert Rehbold
SASLOG: Lazy Evaluation Meets Backtracking. GWAI (1988)
Klaus-Dieter Althoff, Klaus Nökel, Robert Rehbold, Michael M. Richter
A sophisticated expert system for the diagnosis of a CNC machining center. ZOR Methods Model. Oper. Res. 32 (3-4) (1988)
Klaus Nökel, Robert Rehbold, Michael M. Richter
Remarks on SASL and the Verification of Functional Programming Languages. Computation Theory and Logic (1987)