Michael Reinfrank

Publication Activity (10 Years)

Years Active: 1985-2008
Publications (10 Years): 0

Publications

Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering (Workshops) (2008)
Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering (2008)
Hans Hellendoorn, Michael Reinfrank
Fuzzy Control Research at Siemens Corporate R & D. Fuzzy Days (1992)
Hans Hellendoorn, Michael Reinfrank
Fuzzy Control Research at Siemens Corporate R&D. ECSQARU (1991)
Michael Reinfrank
Begründungsverwaltung (Reason/Truth Maintenance). Künstliche Intell. 3 (2) (1989)
Michael Reinfrank
Second International Workshop on Nonmonotonic Reasoning (Report). AI Mag. 10 (1) (1989)
Michael Reinfrank, Oskar Dressler, Gerhard Brewka
On the Relation Between Truth Maintenance and Autoepistemic Logic. IJCAI (1989)
Michael Reinfrank
Logical Foundations of Nonmonotonic Truth Maintencance. EPIA (1989)
Michael Reinfrank
Formeln und Modelle: Wissensrepräsentation mit Logik. it Inf. Technol. 31 (2) (1989)
Hartmut Freitag, Michael Reinfrank
A Non-Monotonic Deduction System Based on (A)TMS. ECAI (1988)
Michael Reinfrank, Hartmut Freitag
Rules and Justifications: A Uniform Approach to Reason Maintenance and Non-Monotonic Inference. FGCS (1988)
Hartmut Freitag, Michael Reinfrank
An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System. GWAI (1987)
Michael Reinfrank, Hartmut Freitag
An Integrated Non-Monotonic and Reason Maintenance System. Begründungsverwaltung (1986)
Michael Reinfrank
Reason Maintenance Systems. Begründungsverwaltung (1986)
Michael Reinfrank
Nicht-Monotones Argumentieren (Non-Monotonic Reasoning) - Das aktuelle Schlagwort. Inform. Spektrum 8 (2) (1985)