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
Journal ArticleDOI
Paleocene Thalassinidea colonization in deep-sea environment and the coprolite Palaxius osaensis n. ichnosp. in Southern Costa Rica
TL;DR: Palaxius osaensis n. ichnosp., a new ichnospecies of crustacean coprolite is described in this paper, which is preserved in a 200m thick Paleocene sequence in Southern Costa Rica that is largely dominated by pillow basalts.
Model Based Deduction for Database Schema Reasoning
Peter Baumgartner,Ulrich Furbach,Margret Gross-Hardt,Thomas Kleemann,Susanne Biundo,Thom Frühwirth,Günther Palm +6 more
Journal Article
FDPLL : A first-order Davis-Putnam-Logeman-Loveland procedure
TL;DR: The FDPLL calculus as mentioned in this paper is a directly lifted version of the well-known Davis-Putnam-Logeman-Loveland (DPLL) procedure, where a literal specifies truth values for all its ground instances, unless there is a more specific literal specifying opposite truth values.
Automated Reasoning Support for First Order Ontologies
Peter Baumgartner,Fabian M. Suchanek,José Júlio Alferes,James Bailey,Wolfgang May,Uta Schwertel +5 more
TL;DR: This work proposes a novel transformation technique that allows to apply existing model computation systems to ontological reasoning in situations where many existing ontologies go beyond Description Logics and use full first-order logic.
Book ChapterDOI
Finite Quantification in Hierarchic Theorem Proving
TL;DR: This paper presents a non-naive decision procedure for background theories extended this way on top of black-box decision procedures for the EA-fragment of the background theory, which employs a model-guided instantiation strategy for obtaining pure background formulas that are equi-satisfiable with the original formula.