A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction
Lecture notes in computer science1997pp. 189–203
Citations Over TimeTop 1% of 1997 papers
Related Papers
- → Experiment with an automatic theorem-prover having partial ordering inference rules(1973)26 cited
- → More About TAS and IsaWin — Tools for Formal Program Development(2000)4 cited
- → &: Automated natural deduction(1992)3 cited
- → Trusted Theorem Proving: A Case Study in SLD-Resolution(2008)
- → Completeness of the LELS Inference Rule in Automated Theorem Proving(1999)