no code implementations • 30 May 2023 • Peter Baumgartner, Elena Tartaglia
This paper introduces the Fusemate probabilistic logic programming system.
no code implementations • 4 Oct 2022 • Peter Baumgartner, Daniel Smith, Mashud Rana, Reena Kapoor, Elena Tartaglia, Andreas Schutt, Ashfaqur Rahman, John Taylor, Simon Dunstall
From an application perspective, we review applications of these methods to movement analytics in a general sense and across various industries.
1 code implementation • 8 Jun 2021 • Kasey Jones, Emily Hadley, Sandy Preiss, Caroline Kery, Peter Baumgartner, Marie Stoner, Sarah Rhea
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 COVID-19 pandemic.
no code implementations • 11 Dec 2018 • Rob Chew, Michael Wenger, Caroline Kery, Jason Nance, Keith Richards, Emily Hadley, Peter Baumgartner
SMART is an open source web application designed to help data scientists and research teams efficiently build labeled training data sets for supervised machine learning tasks.
no code implementations • 30 Jun 2017 • Peter Baumgartner, Sylvie Thiébaux, Felipe Trevizan
Policy synthesis addresses the problem of how to control or limit the decisions an agent makes so that a given specification is met.
no code implementations • 28 Nov 2016 • Peter Baumgartner, Renate A. Schmidt
Overall, the results showed bottom-up model generation methods were good for disproving theorems and generating models for satisfiable problems, but less efficient than SPASS in auto mode for unsatisfiable problems.