] Filters: Author is Theofrastos Mantadelis [Clear All Filters]
"Using Iterative Deepening for Probabilistic Logic Inference", in "19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)" , Springer - LNCS, pp.198–213, January 2017.
"CLASS: Contemplative landscape automated scoring system", in "24th Mediterranean Conference on Control and Automation (MED 2016)" , IEEE, June 2016.
"Why Should You Model Time When You Use Markov Models for Heart Sound Analysis", in "IEEE 38th Annual International Conference of the Engineering in Medicine and Biology Society (EMBC 2016) " , IEEE, pp.3449–3452, August 2016.
"Compacting Boolean Formulae for Inference in Probabilistic Logic Programming", in "13th International Conference on Logic Programming and NonMonotonic Reasoning (LPNMR 2015)" , Springer - LNCS, vol. 9345, pp.425–328, September 2015.
"Using Probabilistic Logic Programming to Find Patterns", in "21st Portuguese Conference on Pattern Recognition (RecPad 2015)" , October 2015.
"SkILL - a Stochastic Inductive Logic Learner", in "14th IEEE International Conference on Machine Learning and Applications (ICMLA 2015)" , IEEE, December 2015.
"Most probable explanation for MetaProbLog and its application in heart sound segmentation", in "2nd International Workshop on Probabilistic Logic Programming (PLP 2015), co-located with ICLP 2015" , CEUR Workshop Proceedings, vol. 1413, pp.39–45, August 2015.
"A Portable Prolog Predicate for Printing Rational Terms", in "International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014)" , pp.141–153, July 2014.
, "Tabling, Rational Terms, and Coinduction Finally Together!", in Journal of Theory and Practice of Logic Programming (30th International Conference on Logic Programming (ICLP 2014) Special Issue), vol. 14, pp.429–443, July 2014.
"Preprocessing Boolean Formulae for BDDs in a Probabilistic Context", in "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)" , Springer - LNCS, vol. 6341, pp.260–272, September 2010.
"Towards Digesting the Alphabet-Soup of Statistical Relational Learning", in "1st Workshop on Probabilistic Programming: Universal Languages, Systems and Applications" , December 2008.