Sciweavers

AAAI
2015
8 years 6 months ago
Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm
Datalog-based systems often materialise all consequences of a datalog program and the data, allowing users’ queries to be evaluated directly in the materialisation. This process...
Boris Motik, Yavor Nenov, Robert Edgar Felix Piro,...
AAAI
2015
8 years 6 months ago
Distributing Coalition Value Calculations to Coalition Members
Within characteristic function games, agents have the option of joining one of many different coalitions, based on the utility value of each candidate coalition. However, determin...
Luke Riley, Katie Atkinson, Paul E. Dunne, Terry R...
AAAI
2015
8 years 6 months ago
Learning Hybrid Models with Guarded Transitions
Innovative methods have been developed for diagnosis, activity monitoring, and state estimation that achieve high accuracy through the use of stochastic models involving hybrid di...
AAAI
2015
8 years 6 months ago
A Multi-Pass Sieve for Name Normalization
We propose a simple multi-pass sieve framework that applies tiers of deterministic normalization modules one at a time from highest to lowest precision for the task of normalizing...
Jennifer D'Souza
AAAI
2015
8 years 6 months ago
Bayesian Active Learning-Based Robot Tutor for Children's Word-Reading Skills
Effective tutoring requires personalization of the interaction to each student. Continuous and efficient assessment of the student’s skills are a prerequisite for such personal...
Goren Gordon, Cynthia Breazeal
AAAI
2015
8 years 6 months ago
Binarisation via Dualisation for Valued Constraints
Constraint programming is a natural paradigm for many combinatorial optimisation problems. The complexity of constraint satisfaction for various forms of constraints has been wide...
David A. Cohen, Martin C. Cooper, Peter G. Jeavons...
AAAI
2015
8 years 6 months ago
Approximately Optimal Risk-Averse Routing Policies via Adaptive Discretization
Mitigating risk in decision-making has been a longstanding problem. Due to the mathematical challenge of its nonlinear nature, especially in adaptive decisionmaking problems, fin...
Darrell Hoy, Evdokia Nikolova
AAAI
2015
8 years 6 months ago
An Exact Algorithm for Solving Most Relevant Explanation in Bayesian Networks
Most Relevant Explanation (MRE) is a new inference task in Bayesian networks that finds the most relevant partial instantiation of target variables as an explanation for given ev...
Xiaoyuan Zhu, Changhe Yuan