Natural language generation from plans
Computational Linguistics
The effect of resource limits and task complexity on collaborative planning in dialogue
Artificial Intelligence - Special volume on empirical methods
A survey of the Theorema project
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Generating inference-rich discourse through revisions of RST-Trees
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Verbalization of high-level formal proofs
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
International Journal of Human-Computer Studies - Special issue on collaboration, cooperation and conflict in dialogue systems
WALDMEISTER - High-Performance Equational Deduction
Journal of Automated Reasoning
A Model for Adapting Explanations to the User‘s Likely Inferences
User Modeling and User-Adapted Interaction
TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
Reconstruction Proofs at the Assertion Level
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Omega: Towards a Mathematical Assistant
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
A hybrid reasoning model for indirect answers
ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics
The generation of high-level structure for extended explanations
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Exploiting the addressee's inferential capabilities in presenting mathematical proofs
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Proof verbalization as an application of NLG
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Presenting inequations in mathematical proofs
Information Sciences: an International Journal
Hi-index | 0.00 |
Presenting machine-stored information in human-adequate terms is a challenge in all kinds of domains and applications. Especially in inference-rich domains, this task proves to be difficult, because presentations directly reflecting the organization of the information stored in some knowledge or data base differ significantly from comparable presentations produced by human authors. Motivated by the associated discrepancies, we have developed presentation techniques for machine-stored information in inference-rich domains, and we have elaborated these techniques for mathematical concepts. The presentations obtained are fundamentally reorganized, compared to the uniform representation of domain objects, and they can be produced in varying forms, geared by evidence about the domain knowledge, inferential capabilities, and information intentions of the audience. These techniques prove relevant to assist the inspection of standardized information repositories, and they contribute significantly to the adaptation of interactive teaching material in formal, inference-rich domains.