photo Veronica Dahl
Logic Programming, Computational Linguistics, Deductive Knowledge Bases

email: veronica @ cs.sfu.ca
Address: School of Computing Science, Simon Fraser University, Burnaby, BC, Canada V5A 1S6
Phone: +1-778-782-3372 // Fax: +1-778-782-3045

 Professor of Computing Science
Comp. Cientifico, Buenos Aires Univ., 1974
D.E.A. Intelligence Artificielle, Univ. d'Aix-Marseille II, 1976
Doctorat d'Intelligence Artificielle, Univ. d'Aix-Marseille II, 1977.

 Laboratory Affiliations: Logic and Functional Programming (Director), LCCR , CSS

 Graduate Students: 3 M.Sc. student, 2 Ph.D. student

 Awards: Calouste Gulbenkian Award for Science and Technology 1994, Women's Professorship Award, Queen's University, 1995

 Current Research:
Development of logic programming, logic grammar methodologies and related theories for solving interesting problems in computational linguistics, deductive databases and intelligent systems. Sample applications using these methodologies include: an English parser using linguistic theory by Chomsky known as Barriers; a translator of American Sign Language into database consultation language, an automatic design system that uses constraint logic programming for producing computer configurations upon demand; a typed hierarchy system for deductive databases; a front end for consulting databases in English, Spanish or French; a generator of machine error messages in English using Chomsky's Government-Binding theory; a French/English translator for agricultural reports; etc.

Editorial Activities: Area Editor, Theory and Practice of Logic Programming; Editorial Board Member, International Journal of Expert Systems. Editorial Board Member, Computational Intelligence.

 Recent Funding: NSERC operating, infrastructure and equipment grants, Innovative Teaching Program Award

Selected Publications:

[1] V. Dahl.(to appear) Natural language processing and logic programming. Journal of Logic Programming.

[2] J. Andrews, V. Dahl, and F. Popowich (to appear). A Relevance logic characterization of Static Discontinuity Grammars. Journal of Logic Programming.

[3] . Dahl, V. (to appear) Understanding and Translating Language- Challenges of the 90's. AI Communications Journal.

[4] Huang, Y.N., Dahl, V. and Han, J.W. (to appear) Fact Updates in Logic Databases. Int. Journal of Software Engineering and Knowledge Engineering.

[5] Tarau, P. and Dahl, V. (1995) Logic Programming and Logic Grammars with First-Order Continuations.. LNCS Series, Springer-Verlag, vol. 883, pp. 213-229.

[6] Dahl, V., Fall, A. and Tarau, P. Resolving Co-Specification in Contexts. In Proc. IJCAI'95 Workshop on Context in Language, Montreal, July 1995.

[7] Balsa, J., Dahl, V. and Pereira Lopes, J.G. Datalog Grammars for Abductive Syntactic Error Diagnosis and Repair. In Proc. Natural Language Understanding and Logic Programming Workshop, Lisbon, 1995

[8] Dahl, V., Tarau, P. and Andrews, J. Extending Datalog Grammars. In Proc.Workshop on Natural Language and Data Bases (NLDB'95), Versailles, June 1995.

[9] Dahl, V., P. Tarau, L. Moreno and M. Palomar. Treating coordination through Datalog grammars. COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing, Edinburgh, April 3-5, 1995, pp.1-17.

[10] Dahl, V., Fall, A., and Thomas, M.C. Driving Robots through Natural Language. In Proc. 1995 IEEE International Conference on Systems, Man and Cybernetics, to appear in October 1955.

[11] Thomas, M.C., Dahl, V., and Fall, A. Logic Planning in Robotics. In Proc. 1995 IEEE International Conference on Systems, Man and Cybernetics, to appear in October 1955.

[12] Huang, Y.N. , Dahl, V. and Han, J. (1994) Rule Updates in Logic Databases: A Meta Programming Approach.. In: Proc. of the 3rd International Pacific Rim Conference on Artificial Intelligence, Beijing, China, Aug., 1994

[13] Abramson, H. and Dahl, V. (1994) Extending logic grammars with ID-LP specifications. In: Proc. IV Iberoamerican Congress on AI- IBERAMIA '94, Caracas, Venezuela, sponsored by AVINTA,SMIA and AEPIA, Oct. 25-28, pp. 230-246.

[14] Dahl, V. Book review: "Constraint-Based Grammar Formalisms", by Stuart Shieber. Computational Linguistics.19 (3), pp. 560-564. [15] E. Hagen and V. Dahl. On Multiple-Valued Deductive Databases. Proc 10th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, Banff, pages 31-38, May 1994.

[16] Dahl, V., Tarau, P. and Huang, Yan-Nong. Datalog Grammars. 1994 Joint Conference on Declarative Programming. Peniscola, Spain, Sept 19-22 1994.

[17] V. Dahl. What the study of language can contribute to AI. AI Communications, 6(2):92-106, 1993.

[18] V. Dahl, F. Popowich, and M. Rochemont. A principled characterization of dislocated phrases: Capturing barriers with Static Discontinuity Grammars. Linguistics and Philosophy, 16(4):331-352, August 1993.

[19] V. Dahl, G. Sidebottom, and J. Ueberla. Automatic configuration through constraint-based reasoning. Int'l. Journal of Expert Systems: Research and Applications, 6(4):561-579, 1993.

[20] V. Dahl. Comment on implementing Government-Binding theories. In R. Levine, editor, Formal Linguistics: Theory and Practice, pages 276-289. Oxford University Press, 1992.

[21] V. Dahl. On logic programming as a representation of knowledge. In O. N. Garcia and Y. Chien, editors, Knowledge-Based Systems: Fundamentals and Tools, pages 199-204. IEEE Computer Society Press, 1991.

[22] V. Dahl. Incomplete types for logic databases. Applied Mathematics Letters, 4(3):25-28, 1991.

[23] V. Dahl. Describing linguistic knowledge about constraints in user-friendly ways. Int'l. Journal of Expert Systems: Research and Applications, 3(2):131-146, 1990.

[24] V. Dahl and F. Popowich. Parsing and generation with Static DiscontinuityGrammars. New Generation Computing, 8(3):245-274, December 1990.

[25] V. Dahl. Discontinuous grammars. Computational Intelligence, 5(4):161-179, 1989.

[26] H. Abramson and V. Dahl. Logic Grammars. Symbolic Computation AI Series. Springer-Verlag, 1989.

[27] V. Dahl and P. Massicotte. Interpreting static discontinuity grammars. Applied Mathematics Letters, 3:21-24, 1990.

[28] V. Dahl and P. Saint-Dizier, editors. Natural Language Understanding and Logic Programming I and II. Elsevier Science Pub. Co., 1985/1988. from Proc. First and Second International Workshop on Natural Language Understanding and Logic Programming. Japanese edition: publ. Kindai Kagaku Sha, Tokyo, 1990.

[29] V. Dahl and P. Massicotte. Processing techniques for discontinuous grammars. In Meta-Programming for Logic Programming, Logic Programming, pages 141-156. MIT Press, 1988.

[30] V. Dahl. Gramaticas discontinuas: una herramienta computacional con aplicaciones en la teoria de reccion y ligamiento. Revista Argentina de Linguistica, 2(2):375-392, 1986.

[31] V. Dahl. Logic Programming for Constructive Expert Systems. Database Systems and Applications. Benjamin/Cummings, 1986.

[32] V. Dahl. More on gapping grammars. In Proc. International Conference on V Generation Computer Systems, Tokyo, Ohmsha Publishing Co., pages 669-677, 1984.

[33] V. Dahl. On database systems development through logic. ACM Transactions on Database Systems, 7(1):102-123, March 1982.

[34] V. Dahl. Translating Spanish into Logic through Logic. American Journal of Computational Linguistics, 13:149-164, 1981.