How to Talk to Your Computer so that It Will Listen

Extended Abstract
  • Veronica Dahl
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2257)


Currently, many developments revolutionize computing sciences: the maturing of logic programming/grammars, allowing us to communicate with computers in more human and higher level terms than ever before; the World Wide Web; and the possibility of speaking to computers through affordable software such as Naturally Speaking or Microsoft Speech Agent.


Logic Program Carpal Tunnel Syndrome Virtual World Natural Language Processing Mobile Agent 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. Andrews, V. Dahl, and P. Tarau. Continuation logic programming: Theory and practice. In ILPS’95 Workshop on Operational and Denotational Semantics of Logic Programs, November 1995.Google Scholar
  2. 2.
    J. Balsa, V. Dahl, and J. G. Pereira Lopes. Datalog grammars for abductive syntactic error diagnosis and repair. In Natural Language Understanding and Logic Programming Workshop, 1995.Google Scholar
  3. 3.
    V. Dahl. On database systems development through logic. In ACM Transactions on Database Systems, volume 7(1), pages 102–123, March 1982.CrossRefMathSciNetGoogle Scholar
  4. 4.
    V. Dahl. Incomplete types for logic databases. In Applied Mathematics Letters, volume 4(3), pages 25–28, 1991.CrossRefMathSciNetGoogle Scholar
  5. 5.
    V. Dahl. From speech to knowledge. In M. T. Pazienza, editor, Information Extraction: towards scalable, adaptable systems, volume 1714, pages 49-75. Springer-Verlag, 1999. LNAI (Lecture Notes in Artificial Intelligence).Google Scholar
  6. 6.
    V. Dahl, A. Fall, S. Rochefort, and P. Tarau. Hypothetical reasoning framework for natural language processing. In 8th IEEE International Conference on Tools with Artificial Intelligence, November 1996.Google Scholar
  7. 7.
    V. Dahl, A. Fall, and P. Tarau. Resolving co-specification in contexts. In IJCAI’95 Workshop on Context in Language, July 1995.Google Scholar
  8. 8.
    V. Dahl, A. Fall, and M. C. Thomas. Driving robots through natural language. In IEEE International Conference on Systems, Man and Cybernetics, pages 1904–1908, 1995.Google Scholar
  9. 9.
    V. Dahl and P. Tarau. From assumptions to meaning. In Canadian Artificial Intelligence, volume 42, Spring 1998.Google Scholar
  10. 10.
    V. Dahl, P. Tarau, P. Accuosto, S. Rochefort, and M. Scurtescu. Assumption grammars for knowledge-based systems. In Informatica, Special Issue on Natural Language Processing and Agent Systems, volume 22(4), pages 435–444, December 1998. (previous version in: Proc. NLDB’97, Vancouver, June 1997).zbMATHGoogle Scholar
  11. 11.
    V. Dahl, P. Tarau, P. Accuosto, S. Rochefort, and M. Scurtescu. A spanish interface to LogiMOO-towards multilingual virtual worlds. In Informatica, volume 2, mtJune 1999. (previous version in: Proc. International Workshop on Spanish Natural Language Processing and Language Technologies, Santa Fe, New Mexico, July 1997).Google Scholar
  12. 12.
    V. Dahl, P. Tarau, and J. Andrews. Extending datalog grammars. In Workshop on Natural Language and Databases (NLDB’95), June 1995.Google Scholar
  13. 13.
    V. Dahl, P. Tarau, and Y. N. Huang. Datalog grammars. In Joint Conference on Declarative Programming, pages 19–22, September 1994.Google Scholar
  14. 14.
    V. Dahl, P. Tarau, and R. Li. Assumption grammars for natural language processing. In Lee Naish, editor, Fourteenth International Conference on Logic Programming, pages 256–270. MIT Press, 1997.Google Scholar
  15. 15.
    V. Dahl, P. Tarau, L. Moreno, and M. Palomar. Treating coordination through datalog grammars. In COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing, pages 1–17, April 1995.Google Scholar
  16. 16.
    James Davison. An atural language interface for performing database updates. In ICDE, pages 69–76, 1984.Google Scholar
  17. 17.
    Y. N. Huang, V. Dahl, and J. Han. Rule updates in logic databases: Am eta programming approach. In 3rd International Pacific Rim Conference on Artificial Intelligence, August 1994.Google Scholar
  18. 18.
    Y. N. Huang, V. Dahl, and J. W. Han. Fact updates in logic databases. In Int. Journal of Software Engineering and Knowledge Engineering, volume 5(3), pages 467–491, 1995.CrossRefGoogle Scholar
  19. 19.
    R. Li, V. Dahl, L. Moniz Pereira, and M. Scurtescu. Dealing with exceptions in textual databases. In NLDB, June 1997.Google Scholar
  20. 20.
    S. W. Loke. Adding Logic Programming Behaviour to the World Wide Web. PhD thesis, University of Melbourne, 1998.Google Scholar
  21. 21.
    S. Rochefort, V. Dahl, and P. Tarau. Controlling virtual worlds through extensible natural language. In AAAI Symposium Series “Natural Language Processing for the World Wide Web”, March 1997.Google Scholar
  22. 22.
    S. Rochefort, V. Dahl, and P. Tarau. Avirtual environment for collaborative learning. In World Multiconference on Systemics, Cybernetics and Informatics (SCI’98) and 4th International Conference on Information Systems Analysis and Synthesis (ISAS’98), volume 4, pages 413–416, 1998.Google Scholar
  23. 23.
    P. Tarau and V. Dahl. Code migration with first order continuations. In Joint Declarative Programming Conference AGP98, July 1998.Google Scholar
  24. 24.
    P. Tarau and V. Dahl. Aco ordination logic for agent programming in virtual worlds. In W. Conen and G. Neumann, editors, Coordination Technology for Collaborative Applications-Organizations, Processes, and Agents. Springer-Verlag, 1998.Google Scholar
  25. 25.
    P. Tarau and V. Dahl. Alogic programming infrastructure for internet programming. In M. J. Wooldridge and M. Veloso, editors, Artificial Intelligence Today-Recent Trends and Developments, pages 431–456. Springer-Verlag, 1999. LNAI 1600.Google Scholar
  26. 26.
    P. Tarau and V. Dahl. High level networking with mobile code and first order and continuations. In Theory and Practice of Logic Programming. Cambridge University Press, March 2001. (This is the new and sole official journal of the Association of Logic Programming).Google Scholar
  27. 27.
    P. Tarau, V. Dahl, and K. De Boschere. Alogic programming approach to coordination in virtual worlds. In Workshop on Coordination languages, models, systems in the Software Technology Track of the Hawaii International Conference on System Sciences (HICSS-31), 1997.Google Scholar
  28. 28.
    P. Tarau, V. Dahl, and K. De Boschere. Alogic programming infrastructure for remote execution, mobile code and agents. In Post ICLP Workshop on Logic Programming and Multi Agents, July 1997.Google Scholar
  29. 29.
    P. Tarau, V. Dahl, and K. De Bosschere. Remote execution, mobile code and agents in binprolog. In Electronic Proc. Logic Programming Workshop in conjunction with the 6th International World Wide Web Conference, pages 7–11, April 1997.Google Scholar
  30. 30.
    P. Tarau, V. Dahl, and A. Fall. Backtrackable state with linear affine implication and assumption grammars. In J. Jaffar and R. Yap, editors, Concurrency and parallelism, Programming, Networking, and Security, pages 53–64. Springer Verlag, 1996. Lecture Notes in Computer Science 1179.CrossRefGoogle Scholar
  31. 31.
    P. Tarau, V. Dahl, S. Rochefort, and K. De Bosschere. LogiMOO: a multi-user virtual world with agents and natural language programming. In S. Pemberton, editor, CHI, pages 323–324, 1997.Google Scholar
  32. 32.
    P. Tarau, K. De Bosschere, V. Dahl, and S. Rochefort. LogiMOO: An extensible multi-user virtual world with natural language control. In Logic Programming Journal, volume 38(3), pages 331–353, March 1999.zbMATHCrossRefGoogle Scholar
  33. 33.
    M. C. Thomas, V. Dahl, and A. Fall. Logic planning in robotics. In IEEE International Conference on Systems, Man and Cybernetics, pages 2951–2955, 1995.Google Scholar
  34. 34.
    K. Voll, T. Yeh, and V. Dahl. An assumptive logic programming methodology for parsing. In 12th Int’l Conference on Tools with Artificial Intelligence, pages 11–17, 2000.Google Scholar
  35. 35.
    O. R. Zaiane, A. Fall, S. Rochefort, V. Dahl, and P. Tarau. Concept-based retrieval using controlled natural language. In NLDB, June 1997.Google Scholar
  36. 36.
    O. R. Zaiane, A. Fall, S. Rochefort, V. Dahl, and P. Tarau. On-line resource discovery using natural language. In RIAO, Computer-Assisted Searching on the Internet, pages 336–355, June 1997.Google Scholar
  37. 37.
    J. M. Zelle and R. J. Mooney. Learning to parse database queries using inductive logic programming. In Thirteenth National Conference on Artificial Inteligence, pages 1050–1055, 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Veronica Dahl
    • 1
  1. 1.Logic and Functional Programming Group, Computing Sciences DepartmentSimon Fraser UniversityBurnabyCanada

Personalised recommendations