Transition network grammars for natural language analysis
Communications of the ACM
PRODUCING EXPLANATIONS AND JUSTIFICATIONS OF EXPERT CONSULTING PROGRAMS
PRODUCING EXPLANATIONS AND JUSTIFICATIONS OF EXPERT CONSULTING PROGRAMS
Explanatory power for medical expert systems: studies in the representation of causal relationships for clinical consultations
A plan recognition model for clarification subdialogues
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Using focus to generate complex and simple sentences
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Generating adjectives to express the speaker's argumentative intent
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Steps from explanation planning to model construction dialogues
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
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. ...