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
Posted Content
North Carolina COVID-19 Agent-Based Model Framework for Hospitalization Forecasting Overview, Design Concepts, and Details Protocol
Kasey Jones,Emily Hadley,Sandy Preiss,Caroline Kery,Peter Baumgartner,Marie C D Stoner,Sarah Rhea +6 more
TL;DR: In this article, an agent-based model (ABM) that was developed to simulate hospitalizations during the COVID-19 pandemic is described. But the model is not described in detail.
Journal ArticleDOI
Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate
TL;DR: Fusemate as discussed by the authors is a probabilistic logic programming system that uses a bottom-up approach to ground the program in a top-down way instead of the common bottom-down approach.
Book ChapterDOI
Blocking and other enhancements for bottom-up model generation methods
TL;DR: In this article, the authors introduce several new improvements to the bottom-up model generation (BUMG) paradigm, based on non-trivial transformations of first-order problems into a certain implicational form, namely range-restricted clauses.
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany
TL;DR: In this paper, a connection-based proof method for intuitionistic predicate logic is proposed, based on the connection method in modal logics, which is used for theorem proving.