Domain-independent planning: representation and plan generation
Artificial Intelligence
A Computer Model of Skill Acquisition
A Computer Model of Skill Acquisition
Validating generalized plans in the presence of incomplete information
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Validating generalized plans in the presence of incomplete information
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
In this paper we present a type inference method for Prolog programs. The new idea is to describe a superset of the success set by associating a type substitution (an assignment of sets of ground terms to variables) with each head of definite clause. ...