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
Optimizing the evaluation of XPath using description logics
TL;DR: This work provides a transformation of DTDs into a knowledge base in Description Logic, and uses reasoning capabilities grounded in description logics to decide if a given XPath can be satisfied by a document, and to guide the search of XML-Processors into possibly successful branches of the document, thus avoiding parts of the documents that will not yield results.
Journal ArticleDOI
Instance Based Methods --- A Brief Overview
TL;DR: An overview of the major methods in the area and discusses their properties and relations to the more established resolution methods and some recent trends on refinements and applications is discussed.
Magnetobiostratigraphic synthesis of Ocean Drilling Program Leg 123: Sites 765 and 766 (Argo Abyssal Plain and Lower Exmouth Plateau)
Michael A. Kaminski,James G. Ogg,Peter Baumgartner,Paul R. Bown,David W Haig,Andrew McMinn,Michael J Moran,Jörg Mutterlose +7 more
Book ChapterDOI
Tableaux for verification of data-centric processes
TL;DR: This work proposes a rich modelling framework based on first-order logic over background theories and state transition systems over corresponding interpretations and introduces a tableau calculus for bounded model checking of properties expressed in a certain fragment of CTL* over that first- order logic.
Pre-Campanian Terranes in Nicoya area (Costa Rica, Middle America)
TL;DR: A detailed field mapping, isotopic and palaeontology analysis of the Nicoya area has revealed coeval pre-Campanian, middle to late Cretaceous sedimentary/magmatic sequences of different geodynamic palaeoenvironments as discussed by the authors.