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,...
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...
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...
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...
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...
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...
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...
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...