Sciweavers

1056 search results - page 63 / 212
» ijcai 2007
Sort
View
IJCAI
2003
14 years 11 months ago
Terminological Cycles in a Description Logic with Existential Restrictions
Cyclic definitions in description logics have until now been investigated only for description logics allowing for value restrictions. Even for the most basic language which allow...
Franz Baader
IJCAI
2003
14 years 11 months ago
Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving
We present an algorithm Pref-AC that limits arc consistency (AC) to the preferred choices of a tree search procedure and that makes constraint solving more efficient without chan...
Christian Bessière, Anaïs Fabre, Ulric...
IJCAI
2003
14 years 11 months ago
Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems
We investigate interchangeability of values in CSPs, based on an approach where a single value in the domain of a variable can be treated as a combination of “sub-values”. An ...
James Bowen, Chavalit Likitvivatanavong
IJCAI
2003
14 years 11 months ago
On the Revision of Probabilistic Beliefs using Uncertain Evidence
We revisit the problem of revising probabilistic beliefs using uncertain evidence, and report results on four major issues relating to this problem: How to specify uncertain evide...
Hei Chan, Adnan Darwiche
IJCAI
2003
14 years 11 months ago
Great Expectations. Part I: On the Customizability of Generalized Expected Utility
We propose a generalization of expected utility that we call generalized EU (GEU), where a deci­ sion maker's beliefs are represented by plausibil­ ity measures and the dec...
Francis C. Chu, Joseph Y. Halpern