Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Practical Aspects of Declarative Languages

PADL 2002: Practical Aspects of Declarative Languages pp 3–8Cite as

How to Talk to Your Computer so that It Will Listen

Extended Abstract

  • Conference paper
  • First Online:

  • 269 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2257))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. V. Dahl. On database systems development through logic. In ACM Transactions on Database Systems, volume 7(1), pages 102–123, March 1982.

    Article  MathSciNet  Google Scholar 

  4. V. Dahl. Incomplete types for logic databases. In Applied Mathematics Letters, volume 4(3), pages 25–28, 1991.

    Article  MathSciNet  Google Scholar 

  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. 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. 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. 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. V. Dahl and P. Tarau. From assumptions to meaning. In Canadian Artificial Intelligence, volume 42, Spring 1998.

    Google Scholar 

  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).

    MATH  Google Scholar 

  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. V. Dahl, P. Tarau, and J. Andrews. Extending datalog grammars. In Workshop on Natural Language and Databases (NLDB’95), June 1995.

    Google Scholar 

  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. 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. 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. James Davison. An atural language interface for performing database updates. In ICDE, pages 69–76, 1984.

    Google Scholar 

  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. 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.

    Article  Google Scholar 

  19. R. Li, V. Dahl, L. Moniz Pereira, and M. Scurtescu. Dealing with exceptions in textual databases. In NLDB, June 1997.

    Google Scholar 

  20. S. W. Loke. Adding Logic Programming Behaviour to the World Wide Web. PhD thesis, University of Melbourne, 1998.

    Google Scholar 

  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. 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. P. Tarau and V. Dahl. Code migration with first order continuations. In Joint Declarative Programming Conference AGP98, July 1998.

    Google Scholar 

  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. 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. 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. 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. 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. 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. 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.

    Chapter  Google Scholar 

  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. 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.

    Article  MATH  Google Scholar 

  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. 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. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Logic and Functional Programming Group, Computing Sciences Department, Simon Fraser University, V5A1 S6, Burnaby, B.C., Canada

    Veronica Dahl

Authors
  1. Veronica Dahl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, Brown University, Box 1910, 02912, Providence, RI, USA

    Shriram Krishnamurthi

  2. Department of Computer Science, SUNY at Stony Brook, 11794-4400, Stony Brook, NY, USA

    C. R. Ramakrishnan

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dahl, V. (2002). How to Talk to Your Computer so that It Will Listen. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds) Practical Aspects of Declarative Languages. PADL 2002. Lecture Notes in Computer Science, vol 2257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45587-6_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-45587-6_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43092-6

  • Online ISBN: 978-3-540-45587-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation