Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
The mobile medical information system investigated in the study is developed for mobilizing medical information and knowledge and for matching physicians' multiple needs, inc...
Shengnan Han, Ville Harkke, Pekka Mustonen, Matti ...
To improve the courses of computer-based education in junior high school and high school, we have developed new educational multi-media tool, named Cyber Theater. Cyber Theater pr...
We are designing new data mining techniques on boolean contexts to identify a priori interesting bi-sets (i.e., sets of objects or transactions associated to sets of attributes or ...