Sciweavers

8468 search results - page 1460 / 1694
» Intelligent agents in e-services
Sort
View
AAAI
1990
15 years 7 months ago
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
Gerhard Lakemeyer
AAAI
1990
15 years 7 months ago
Indexical Knowledge in Robot Plans
Robots act upon and perceive the world from a particular perspective. It is important to recognize this relativity to perspective if one is not to be overly demanding in specifyin...
Yves Lespérance, Hector J. Levesque
AAAI
1992
15 years 7 months ago
Automated Model Selection Using Context-Dependent Behaviors
Effective problem-solving about complex engineered devices requires device models that are both adequate for the problem and computationally efficient . Producing such models requ...
P. Pandurang Nayak, Leo Joskowicz, Sanjaya Addanki
AAAI
1990
15 years 7 months ago
Pointing: A Way Toward Explanation Dialogue
Explanation requires a dialogue. Users must be allowed to ask questions about previously given explanations. However, building an interface that allows users to ask follow-up ques...
Johanna D. Moore, William R. Swartout
AAAI
1990
15 years 7 months ago
Solving Term Inequalities
This work pertains to the Knuth-Bendix (KB) algorithm which tries to find a complete set of reductions from a given set of equations. In the KB algorithm a term ordering is employ...
Gerald E. Peterson
« Prev « First page 1460 / 1694 Last » Next »