Abstract | ||
---|---|---|
This paper shows how a dialogue system for information-seekingdialogues can be implemented in a type-theory-based syntax editor,originally developed for editing mathematical proofs.The implementation gives a simple logical metatheory tosuch dialogue systems and also suggests new functions forthem, e.g., a local undo operation. The method developed provides alogically based declarative way of implementing simple dialoguesystems that is easy to port to new domains. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1023/B:JLLI.0000024736.34644.48 | Journal of Logic, Language and Information |
Keywords | DocType | Volume |
dialogue,proof editing,type theory | Journal | 13 |
Issue | ISSN | Citations |
2 | 1572-9583 | 6 |
PageRank | References | Authors |
0.69 | 6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Aarne Ranta | 1 | 316 | 36.02 |
Robin Cooper | 2 | 6 | 0.69 |