Fröhlich, Peter

3 publications

IJCAI 1997 A Static Model-Based Engine for Model-Based Reasoning Peter Fröhlich, Wolfgang Nejdl

IJCAI 1997 Semantically Guided Theorem Proving for Diagnosis Applications Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl

IJCAI 1995 A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems Wolfgang Nejdl, Peter Fröhlich, Michael Schroeder