research
∙
02/01/2022
IDP-Z3: a reasoning engine for FO(.)
An important sign of intelligence is the capacity to apply a body of kno...
share
research
∙
01/24/2022
Problife: a Probabilistic Game of Life
This paper presents a probabilistic extension of the well-known cellular...
research
∙
10/06/2021
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Knowledge-based AI typically depends on a knowledge engineer to construc...
research
∙
10/05/2021
A Table-Based Representation for Probabilistic Logic: Preliminary Results
We present Probabilistic Decision Model and Notation (pDMN), a probabili...
research
∙
05/17/2020