Extending definite clause grammars with scoping constructs
Logic programming
Proceedings of the 8th annual ACM symposium on User interface and software technology
Logic programming tools for advanced Internet programming (tutorial)
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Logic for Problem Solving
A Natural Language Interface for Performing Database Updates
Proceedings of the First International Conference on Data Engineering
Natural Language Communication with Computers
Some uses of higher-order logic in computational linguistics
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
Logical design of deductive natural language consultable data bases
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Learning to parse database queries using inductive logic programming
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
How to Talk to Your Computer so that It Will Listen
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Informing datalog through language intelligence --- a personal perspective
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Hi-index | 0.00 |
In human communication, assumptions play a central role. Linguists and logicians have uncovered their many facets. Much of AI work is also concerned with the study of assumptions in one way or another. Work on intuitionistic and linear logic has provided formally characterized embodiments of assumptions which have been influential on logic programming (e.g. [9,22,14]). In this article we examine some uses of assumptive logic programming for speech-driven database creation and consultation, for speech driven robot control, and for web access through language. This type of research can help relieve health problems related to the present typing/screen model of computer use. It can also partially address the need to integrate voice recognition, voice synthesis, and AI, along the route towards making computers into true extensions of our human abilities- extensions that adapt to our biology, rather than requiring our bodies to adapt.