Sciweavers

3058 search results - page 198 / 612
» From Intelligent Agents to Intelligent Beings
Sort
View
AAAI
1994
15 years 7 months ago
Soundness and Completeness of a Logic Programming Approach to Default Logic
We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...
Grigoris Antoniou, Elmar Langetepe
AAAI
1994
15 years 7 months ago
In Search of the Best Constraint Satisfaction Search
We present the results of an empirical study of several constraint satisfaction search algorithms and heuristics. Using a random problem generator that allows us to create instanc...
Daniel Frost, Rina Dechter
AAAI
1994
15 years 7 months ago
Associative Memory in an Immune-Based System
The immune system offers to be a rich source of metaphors to guide the exploration of the notion of an adaptive system. We might define a class of systems which are inspired by, b...
C. J. Gibert, Tom Routen
AAAI
1994
15 years 7 months ago
Spatial Reasoning in Indeterminate Worlds
A possible worlds semantics for model-based spatial reasoning is presented. In this semantics, worlds are characterized by the alternative states that result from indeterminacy or...
Janice I. Glasgow
AAAI
1996
15 years 7 months ago
Splitting a Default Theory
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Sp...
Hudson Turner