Sciweavers

3600 search results - page 527 / 720
» Conversational intelligence analysis
Sort
View
AIPS
2000
15 years 6 months ago
Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning
Currently, Graphplan and Blackbox, which converts Graphplan's plan graph into the satisfaction (SAT) problem, are two of the most successful planners. Since Graphplan gains i...
Minh Binh Do, Biplav Srivastava, Subbarao Kambhamp...
AAAI
1997
15 years 6 months ago
Models of Continual Computation
Automated problem solving is viewed typically as the expenditure of computation to solve one or more problems passed to a reasoning system. In response to each problem received, e...
Eric Horvitz
AAAI
1997
15 years 6 months ago
Rationale-Supported Mixed-Initiative Case-Based Planning
Mixed-initiative planning envisions a framework in which automated and human planners interact to jointly construct plans that satisfy specific objectives. In this paper, we repo...
Manuela M. Veloso, Alice M. Mulvehill, Michael T. ...
AAAI
1994
15 years 6 months ago
An Instructional Environment for Practicing Argumentation Skills
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
Vincent Aleven, Kevin D. Ashley
AAAI
1994
15 years 6 months ago
Knowledge Refinement in a Reflective Architecture
A knowledge acquisition tool should provide a user with maximum guidance in extending and debugging a knowledge base, by preventing inconsistencies and knowledge gaps that may ari...
Yolanda Gil