Sciweavers

AAAI
1996
13 years 6 months ago
Situation Calculus on a Dense Flow of Time
paper, we attempt to reconstruct the sitcalculus on a dense flow of time. The
Akira Fusaoka
AAAI
1996
13 years 6 months ago
Navigation for Everyday Life
Past work in navigation has worked toward the goal of producing an accurate map of the environment. While no one can deny the usefulness of such a map, the ideal of producing a co...
Daniel D. Fu, Kristian J. Hammond, Michael J. Swai...
AAAI
1996
13 years 6 months ago
First-Order Conditional Logic Revisited
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
Nir Friedman, Joseph Y. Halpern, Daphne Koller
AAAI
1996
13 years 6 months ago
Plausibility Measures and Default Reasoning
In recent years, a number of different semantics for defaults have been proposed, such as preferential structures, semantics, possibilistic structures, and
Nir Friedman, Joseph Y. Halpern
AAAI
1996
13 years 6 months ago
Building Classifiers Using Bayesian Networks
Recent work in supervised learning has shown that a surprisingly simple Bayesian classifier with strong assumptions of independence among features, called naive Bayes, is competit...
Nir Friedman, Moisés Goldszmidt
AAAI
1996
13 years 6 months ago
Neighborhood Inverse Consistency Preprocessing
Constraint satisfaction consistency preprocessing methods are used to reduce search e ort. Time and especially space costs limit the amount of preprocessing that will be cost e ec...
Eugene C. Freuder, Charles D. Elfe
AAAI
1996
13 years 6 months ago
Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection
Truth maintenance systems provide caches of beliefs and inferences that support explanations and search. Traditionally, the cost of using a TMS is monotonic growth in the size of ...
John O. Everett, Kenneth D. Forbus