Concepedia

Peter Baumgartner

PB

17

Publications

477

Citations

14

H-Index

1994

Active since

Affiliations

University of Koblenz and Landau(Current)

University of Iowa

Max Planck Society

Koblenz University of Applied Sciences

Peter Baumgartner is an author at University of Koblenz and Landau specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceVerificationFormal VerificationSemanticsData ScienceSystems EngineeringModeling And Simulation

Publications per year

1994–2011

17

Publications

17

IMPLEMENTING THE MODEL EVOLUTION CALCULUS

Peter Baumgartner, Alexander Fuchs, Cesare Tinelli · International Journal of Artificial Intelligence Tools · 2006 · 62 citations

Mathematical Programming, Engineering, Verification +16

Computing finite models by reduction to function-free clause logic

Peter Baumgartner, Alexander Fuchs, Hans de Nivelle et al. · Journal of Applied Logic · 2007 · 57 citations

Engineering, Automated Reasoning, Formal Methods +4

The model evolution calculus as a first-order DPLL method

Peter Baumgartner, Cesare Tinelli · Artificial Intelligence · 2007 · 41 citations

Engineering, Modeling Method, Systems Engineering +4

Semantically Guided Theorem Proving for Diagnosis Applications.

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach et al. · 1997 · 36 citations

Engineering, Tableau Calculus, Data Science +15

Model elimination without contrapositives and its application to PTTP

Peter Baumgartner, Ulrich Furbach · Journal of Automated Reasoning · 1994 · 34 citations

Computational Logic, Engineering, Formal Modeling +8

Rows per page

1–5 of 17