As any other problem solving task that employs search, AI Planning needs heuristics to efficiently guide the problem-space exploration. Machine learning (ML) provides several tec...
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
Network delays are a fact of life when using real-time groupware over a wide area network such as the Internet. This paper looks at how network delays affect closelycoupled group w...
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
The "minimum margin" of an ensemble classifier on a given training set is, roughly speaking, the smallest vote it gives to any correct training label. Recent work has sh...