research
∙
08/30/2023
Bottom-Up Stratified Probabilistic Logic Programming with Fusemate
This paper introduces the Fusemate probabilistic logic programming syste...
share
research
∙
05/30/2023
Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate
This paper introduces the Fusemate probabilistic logic programming syste...
research
∙
10/04/2022
Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective
Data-driven decision making is becoming an integral part of manufacturin...
research
∙
09/10/2021
Combining Event Calculus and Description Logic Reasoning via Logic Programming
The paper introduces a knowledge representation language that combines t...
research
∙
06/08/2021
North Carolina COVID-19 Agent-Based Model Framework for Hospitalization Forecasting Overview, Design Concepts, and Details Protocol
This Overview, Design Concepts, and Details Protocol (ODD) provides a de...
research
∙
03/02/2021
The Fusemate Logic Programming System (System Description)
Fusemate is a logic programming system that implements the possible mode...
research
∙
04/07/2019
Hierarchic Superposition Revisited
Many applications of automated deduction require reasoning in first-orde...
research
∙
12/11/2018
SMART: An Open Source Data Labeling Platform for Supervised Learning
SMART is an open source web application designed to help data scientists...
research
∙
06/30/2017
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints
Markov decision processes (MDPs) are the standard formalism for modellin...
research
∙
11/28/2016