P
Peter Baumgartner
Researcher at University of Lausanne
Publications - 225
Citations - 5709
Peter Baumgartner is an academic researcher from University of Lausanne. The author has contributed to research in topics: Automated theorem proving & Cretaceous. The author has an hindex of 41, co-authored 208 publications receiving 5332 citations. Previous affiliations of Peter Baumgartner include Commonwealth Scientific and Industrial Research Organisation & NICTA.
Papers
More filters
Book ChapterDOI
Model Based Deduction for Database Schema Reasoning
TL;DR: It is aimed to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/ query reasoning.
Journal ArticleDOI
Comment on “From seamount accretion to tectonic erosion: Formation of Osa Mélange and the effects of Cocos Ridge subduction in southern Costa Rica” by P. Vannucchi et al.
David M. Buchs,Peter Baumgartner +1 more
Book ChapterDOI
Hierarchic Superposition Revisited
Peter Baumgartner,Uwe Waldmann +1 more
TL;DR: In this paper, the authors propose a new form of clause abstraction, a core component in the hierarchic superposition calculus for transforming clauses into a form needed for internal operation, and provide new completeness results for the fragment where all background-sorted terms are ground and another one for a special case of linear (integer or rational) arithmetic as a background theory.
Proceedings Article
Calculi for disjunctive logic programming
Peter Baumgartner,Ulrich Furbach +1 more
TL;DR: This paper uses restart model elimination (RME) and shows as the main result that hyper tableaux provide a bottom-up semantics for the top-down calculus, and generalizes the well-known result linking the T -operator to SLDresolution for definite programs towards disjunctive programs.
Journal ArticleDOI
Early Cretaceous radiolarians of the Northeast Indian Ocean (Leg 123: Sites 765, 766 and DSDP Site 261): The Antarctic-Tethys connection
TL;DR: In this article, the authors used the Unitary Associations Method to estimate the truncation of ranges for tethyan radiolarians from radiolarite layers in the Argo Basin during the late Berriasian-early Valanginian.