A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 189-203
- https://doi.org/10.1007/bfb0013586
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A resolution calculus for modal logicsPublished by Springer Nature ,2005
- Effective human-computer cooperative spoken dialogue: the AGS demonstratorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Agent-oriented programmingArtificial Intelligence, 1993
- TABLEAUX: A general theorem prover for modal logicsJournal of Automated Reasoning, 1991
- Intention is choice with commitmentArtificial Intelligence, 1990
- Modal resolution in clausal formTheoretical Computer Science, 1989
- Foundations of a functional approach to knowledge representationArtificial Intelligence, 1984
- Proof Methods for Modal and Intuitionistic LogicsPublished by Springer Nature ,1983
- The knowledge levelArtificial Intelligence, 1982
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965