Concepedia

Michael Reinfrank

MR

3

Publications

126

Citations

3

H-Index

1989

Active since

Affiliations

Siemens (Germany)(Current)

Michael Reinfrank is an author at Siemens (Germany) specializing in automated reasoning, intelligent systems, and epistemology.

Top concepts

Publications per year

1989–1995

3

Publications

3

Fundamentals and logical foundations of truth maintenance

Michael Reinfrank · 1989 · 82 citations

, , +17

On the relation between truth maintenance and autoepistemic logic

Michael Reinfrank, Oskar Dressier, Gerd Brewka · 1989 · 32 citations

Open Systems and Interfaces for Distributed Electronics in Cars (OSEK)

Uwe Kiencke, Karl Joachim Neumann, Lucille H. Frey et al. · SAE technical papers on CD-ROM/SAE technical paper series · 1995 · 12 citations

Rows per page

1–3 of 3