Theofrastos Mantadelis

Available identifiers

zbMath Open mantadelis.theofrastosMaRDI QIDQ2296695

List of research outcomes

Publication	Date of Publication	Type
Probabilistic abstract argumentation frameworks, a possible world view	2020-02-27	Paper
A possible world view and a normal form for the constellation semantics	2020-02-18	Paper
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming	2015-11-04	Paper
Tabling, Rational Terms, and Coinduction Finally Together!	2014-11-25	Paper
Dedicated tabling for a probabilistic setting	2012-05-11	Paper
ProbLog Technology for Inference in a Probabilistic First Order Logic	2011-05-11	Paper
Variable Compression in ProbLog	2010-10-12	Paper
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context	2010-10-01	Paper

Research outcomes over time

This page was built for person: Theofrastos Mantadelis