Theofrastos Mantadelis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Probabilistic abstract argumentation frameworks, a possible world view International Journal of Approximate Reasoning	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 Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper
Tabling, rational terms, and coinduction finally together! Theory and Practice of Logic Programming	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 Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
Preprocessing Boolean formulae for BDDs in a probabilistic context Logics in Artificial Intelligence	2010-10-01	Paper

Research outcomes over time

This page was built for person: Theofrastos Mantadelis