6 citations · 18 across the 8 of their papers we have counts for
9 papers
Bottom-Up Stratified Probabilistic Logic Programming with Fusemate
Peter Baumgartner, Elena Tartaglia
This paper introduces the Fusemate probabilistic logic programming system. Fusemate's inference engine comprises a grounding component and a variable elimination method for probabi…
Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate
Peter Baumgartner, Elena Tartaglia
This paper introduces the Fusemate probabilistic logic programming system. Fusemate's inference engine comprises a grounding component and a variable elimination method for probabi…
Combining Event Calculus and Description Logic Reasoning via Logic Programming
Peter Baumgartner
The paper introduces a knowledge representation language that combines the event calculus with description logic in a logic programming framework. The purpose is to provide the use…
North Carolina COVID-19 Agent-Based Model Framework for Hospitalization Forecasting Overview, Design Concepts, and Details Protocol
Kasey Jones, Emily Hadley, Sandy Preiss +4
This Overview, Design Concepts, and Details Protocol (ODD) provides a detailed description of an agent-based model (ABM) that was developed to simulate hospitalizations during the…
Hierarchic Superposition Revisited
Peter Baumgartner, Uwe Waldmann
Many applications of automated deduction require reasoning in first-order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research…
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints
Peter Baumgartner, Sylvie Thiébaux, Felipe Trevizan
Markov decision processes (MDPs) are the standard formalism for modelling sequential decision making in stochastic environments. Policy synthesis addresses the problem of how to co…