Friday 22 October 2010, at 10h30 in Celestijnenlaan 200A Room 05.001
Current State and Open Research Directions on the YAP Prolog System
By Prof Vitor Santos Costa, Universidade do Porto
The YAP Prolog system is a Prolog system developed at the Universidade do Porto. The system includes support for constraints, tabling, and probabilistic logic programming languages. We present an overview of the current state of YAP, with focus on recent progress in tabling, data base access interface, and the parallel execution of logic programs. Last, we discuss open research directions and challenges being faced by this Prolog system.
Some experiences with a new MCMC method for PRISM
By Prof Taisuke Sato, Tokyo Institute of Technology
PRISM has VB (variational Bayes) as a way of approximate Bayesian inference. We further developed an MCMC method for PRISM for exact Bayesian inference which is applicable to every PRISM program from BNs, HMMs, PCFGs etc. I describe some experiences with this new MCMC method.