MS1. Methodological issues for logic grammars were solved, resulting in Assumption Grammars, which extend logic grammars  with linear affine, intuitionistic and timeless assumptions [9,19,22,30,31,38,48]. Assumption grammars have inspired other researchers, e.g. in Denmark, and resulted in joint research funded by the Danish Research Council (see They have as well made it into modern versions of Prolog such as BinProlog (, CHRGs (see References below, [Chr05]) and Hyprolog [46].


MS2. An executable, cognitive model of knowledge construction was developed, and applied to scheduling, parsing, error detection and correction, and to medical applications. Our methodology for parsing Property Grammars [Bs99,Bla01] invisibly interprets linguistic descriptions as directly executable specifications, without sacrificing efficiency [44]. It allows the construction of non-connected structures that show all partial analyses even upon failure. For diagnosis and repair [26], we use abduction in a novel, direct way, without the overhead of alternating abductive steps with resolution steps, as in previous approaches. We have generalized these methodologies into a directly executable constructivist cognitive model [45] which has been applied to medical applications [42,43]. Applications to knowledge extraction from biological text are studied in [52,56].

MS3.  Intelligent Software for Life Sciences: Since learning that my book on Logic Grammars [3] was being extensively used around the world for the human genome project [Ove92], I have been attracted to the intersection of these fields. Inertia from my successes in my own area made it difficult to pursue this interest in earnest until Agriculture and Agri-Food Canada (AAFC) recently asked for my help with their plant pathogen identification problem. Their traditional methods could no longer keep up with the dramatic increase, over the past decade, of collection rates for biological data. Our results were spectacular: whereas with previous tools, the processing time increases exponentially with sequence length or number of sequences, we provided a novel algorithm for which processing time increases linearly with the amount of data to be analysed [M10]. Our methods can moreover be viewed as modules to be embedded within higher level while still efficiently executable descriptions of other interesting molecular biology problems (LifeIntel Explorerª). An invited article with our complete results has been submitted in 2009 to Molecular Ecology Resources (see [16] under Monographs). Constraint based tools for biological sequence analysis were developed as well with Maryam Bavarian [50].

MS4.  Methods for the intelligent reconstruction of implicit human language structures have been developed, both from an Assumptive logic [44] point of view (see [2], which metagrammatically extends parsers so that implicit structures are understood from context), and from a constraint reasoning point of view( [43,45])

MS5. High level internet communication: [4,11,12]  introduce badly needed high level features into internet programming, and

 endows logic programming with remote high performance interaction capabilities.Through supervision, I have also contributed

 to concept extraction from natural language, specifically, to the automatic reconstruction of the meaning of acronyms in web

texts (Manuel Zahariev, Gold Medal Award Winner, 2004 [S16], and through supervision and collaboration, to the recognition of named entities in biomedical text ([52 through 55, and Baohua Gu's PhD thesis, 2008 [S18]).




[Bes99] Bes, G. and Blache, P. (1999) Proprieties et analyse d'un langage. In Proc. TALN_99.

[Bla0] Blache, P. and Balfourier, J.-M. (2001) Property Grammars: a Flexible Constraint-based Approach to Parsing.

In Proc. IWPT-2001.

[Chr05] Christiansen, H. (2005) CHR Grammars. International  Journal in Theory and Practice of Logic Programming,

special issue on Constraint Handling Rules.

[Dah89] Abramson, H. and Dahl, V. (1989). Logic Grammars, Springer-Verlag.

[Ove92] Overbeek, R.A.(1992) Invited Tutorial: Logic Programming and  Genetic Sequence Analysis, JICSLP, Washington, D.C.




Research Journals, Monographs, Book Chapters

53.     Dahl, V. and Maharshak, E. (2011) Synalysis - a dual processing scheme for both human and biological languages. In: Bio-Inspired Models for Natural and Formal Languages, Cambridge Scholars Publishing.

52.     Dahl, V., Gu, B. H., Maharshak, E. (2011) Modeling Concepts and Relations through Property Grammars. Ibidem.

51. Dahl, V. (2010) Decoding Nucleic Acid Strings through Human Language. In Bel-Enguix and Jiménez-López (Eds.), Language as a Complex System: Interdisciplinary Approaches, Cambridge, Cambridge Scholars Publishing, ISBN (13): 978-1-4438-1762-2, pp. 199-214.

Dahl, V. (2010) An introduction to Natural Language Processing-the Main Problems. Triangle 1, Sept. 2010: 65-78, ISSN 2013-939X.

49. Dahl, V. and Garcia, A. J. (2010) Programacion Logica.  Triangle 2, Dec. 2010: 1-39.

48. Dahl, V., Jimenez-Lopez, M. D. and Perriquet, O. (2010) Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. Advances in Intelligent and Soft Computing series, Springer Verlag.

47.     Zahariev, M., Dahl, V., Chen, W., and Levesque, A. (2009) Efficient Algorithms for the Discovery of DNA Oligonucleotide Barcodes from Sequence Databases. Molecular Ecology Resources, Vol. 9, pp. 58-64.


46. Christiansen, H. and Dahl, V. (2009) Abductive Logic Grammars. In: Ono, Kanazawa and Queiroz (eds), Lecture Notes in Computer Science vol. 5514, (Logic, Language, Information and Computation, pp. 170-181,   ISBN 978-3-642-02260-9.


45. Dahl, V. and Maharshak, E. (in press) DNA Replication as a Model for Computational Linguistics. Lecture Notes in Computer Science, Springer-Verlag.

44. Dahl, V., Gu, B. and Maharshak, E. (2009) A Hyprolog methodology for Property Grammars. . In J. Cabestany et al. (Eds.): IWANN 2009, Part I, LNCS 5517, pp. 480–487, 2009. (this is a more accessible, monograph version of workshop paper [56]).

43. Bavarian, M. and Dahl, V. (2006) Constraint-Based Methods for Biological Sequence Analysis. In: Journal of Universal Computing Science, vol. 12, issue 11.

42. Christiansen, H. and Dahl, V. (2003) Logic Grammars for Diagnosis and Repair. In: International Journal on Tools in AI, vol. 12, n. 3, pp. 227-248 (invited contribution: extension of a previous version which was selected as one of the best papers at ICTAI'02).

41. Dahl, V. (2002) On Implicit Meanings. In: Computational Logic: From Logic Programming into the Future . F. Sadri and T. Kakas (eds). (invited contribution), volume in honour of Bob Kowalski, Springer-Verlag.

40. Dahl, V. (2002) How to speak to your  computer so that it will listen. In: C. R. Ramakrishnan and S. Krishnamurthi (eds.). Lecture Notes in Computing Science 2257, Springer-Verlag.

39. Tse, S. and Dahl, V.  (2002) Learning and using mathematics the natural way. Applied Mathematics Letters.

38. Tarau, P. and Dahl, V.  (2001) High level networking with mobile code and first order-And continuations. Theory and Practice of Logic Programming, 1(1), 359:380, March 2001, CUP.

37. Voll, K., Yeh, T. and Dahl, V. (2001) An Assumptive Logic Programming Methodology for Parsing. Journal of Artificial IntelligenceTools, vol. 10(4), 573:588  (invited contribution: extension of a previous version which was selected as one of the best papers at ICTAI'00).

36. Dahl, V. (1999) The logic of language. In: K. Apt, V. Marek and D.S. Warren (eds.) The Logic Programming Paradigm: A 25-year perspective. Springer-Verlag, pp. 429:451.

35. Dahl, V. (1999) From Speech to Knowledge. In: M.T.Pazienza (ed.) Information Extraction: towards scalable, adaptable systems. Springer-Verlag, LNAI (Lecture Notes in Artificial Intelligence) 1714, pp.49:75.

34. Tarau, P. and Dahl, V. (1999) A Logic Programming Infrastructure for Internet Programming. In: Wooldridge, M. J. and Veloso, M. (eds.) Artificial Intelligence Today -- Recent Trends and Developments, Springer, LNAI 1600, 431:456, ISBN 3-540-66428-9.

33. Dahl, V., Tarau, P., Accuosto, P., Rochefort, S. and Scurtescu, M. (1999) A Spanish Interface to LogiMOO - Towards Multilingual Virtual Worlds. Informatica, vol 2.

32. Tarau, P., De Bosschere, K., Dahl, V. and Rochefort, S. (1999) LogiMOO: An Extensible Multi-User Virtual World with Natural Language Control.Logic Programming Journal, 38(3), 331:353.

31. Dahl, V., Tarau, P., Accuosto, P. , Rochefort, S. and Scurtescu, M. (1998) Assumption Grammars for Knowledge-Based Systems. Informatica, 22(4), 435:444 (Invited contribution: extension of a previous version which was selected as one of the best papers at NLDB'97).

30. Tarau, P. and Dahl, V. (1998) A Coordination Logic for Agent Programming in Virtual Worlds. In: Conen, W. and Neumann, G. (Eds.), Coordination Technology for Collaborative Applications - Organizations, Processes, and Agents. Springer-Verlag, ISBN 3-540-64170-X.

28. Li, R., Moniz Pereira, L. and Dahl, V. (1998) Refining Action Theories with Abductive Logic Programming. In: J. Dix, L. M. Pereira and T.C. Przymusinski (eds.), , Lecture Notes in Artificial Intelligence 1471, Springer-Verlag, 123-138, 1998. (Selected extended paper from LPKR'97: ILPS'97 Workshop on Logic Programming and Knowledge Representation, 1997)


27. Tarau, P., Dahl, V. and Fall, A. (1996) Backtrackable State with Linear Affine Implication and Assumption Grammars. In: Lecture Notes in Computer Science 1179, Springer Verlag: Concurrency and parallelism, Programming, Networking, and Security. Jaffar, J. and Yap, R. (eds.), pp. 53-64.

26. J. Andrews, V. Dahl, and F. Popowich (1996) Characterizing Logic Grammars: A Substructural Approach. Journal of Logic Programming 26(3): 235-283.

25. Dahl, V. (1995) Understanding and Translating Language- Challenges of the 90's. AI Communications 8(2), ISSN 0921-7126: 71-77 (expanded version of Calouste Gulbenkian Award for Science and Technology Address, Lisbon, Dec. 1994).

24. Huang, Y.N., Dahl, V. and Han, J.W. (1995) Fact Updates in Logic Databases. Int. Journal of Software Engineering and Knowledge Engineering, vol. 5, No. 3, pp. 467-491.

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

22. Abramson, H. and Dahl, V. (1995) Extending Logic Gramamars with ID-LP Specifications. In: A. Sobrino (ed.) Ensayos sobre programacion logica. Univ. de Santiago de Compostela Press, pp. 261-282.

21. Huang, Yan-Nong, Dahl, V. and Han, J.-W. (1994) Incremental processing of logic database relations. In: LNCS Series, Springer-Verlag, vol. 869, pp. 561-570.

20. Dahl, V. (1994) Natural language processing and logic programming. Journal of Logic Programming, 12 (1), pp. 681-714, 1994 (invited contribution).

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

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

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

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

15. Dahl, V.  (1991) On logic programming as a representation of knowledge. In O. N. Garcia and Y. Chien, editors, Knowledge-Based  Systems: Fundamentals and Tools. IEEE Computer Society Press, 1991. (special edited collection: expanded version of the articles published in October 1983 issue of COMPUTER magazine [24])

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

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

12. V. Dahl and F. Popowich. Parsing and generation with Static Discontinuity Grammars. New Generation Computing,   8(3):245-274, December 1990.

11. Dahl, V. and Massicotte, P. (1990) Interpreting static discontinuity grammars. Applied Mathematics Letters, 3:21-24, 1990.

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

9. H. Abramson and V. Dahl  (1989) Logic Grammars Research Monograph, Symbolic Computation AI Series. Springer-Verlag, 1989. 

8. V. Dahl and P. Massicotte (1988) Processing techniques for discontinuous grammars. In Meta-Programming for Logic Programming, pages 141-156. MIT Press, 1988.

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

6. Dahl, V.  (1986) Logic Programming for Constructive Expert Systems. Database Systems and Applications. Benjamin/Cummings, 1986.

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

4. Dahl, V. and McCord, M. C. (1983) Treating Coordination in Logic Grammars. American Journal of Computational Linguistics 9(2): 69-91.

3. Dahl, V. (1983) On Logic Programmed Representations of Knowledge. COMPUTER, Special issue on Knowledge Representation, N. Cercone and G. McCalla (eds.), vol. 16, No. 10, pp. 106-113 . 

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

1. V. Dahl. Translating Spanish into Logic through Logic (1981) American Journal of Computational Linguistics, 13:149-164.

Articles in Refereed Conference/Workshops Proceedings: Published or Accepted

65. Dahl, V. and Miralles, J. E. (2012) Womb Grammars: Constraint Solving for Grammar Induction,
64. Miralles, J. E., Dahl, V. and Becerra, L. (2012) On Language Acquisition Through Womb Grammars. In: 7th International Workshop on Constraint Solving and Language Processing (CSLP'12).

63.  Dahl, V., Saghaei, S., Schulte, O. (2011)  Parsing Medical Text into De-identified Databases In Proc. BILC’11.

62. Dahl, V. (2010) Informing Datalog through Language Intelligence-a personal perspective. In: Gottlob, G. (ed.), Proc. Datalog-2 Conference, 2010

61. Skvortsov, E., Kaviani, N. and Dahl, V. (2011) Chemical Signaling as a Useful Metafor for Resource Management. In: Computing languages with Bio-inspired Devices , Proc. IWANN 2011 (International Work Conference on Artificial Neural Networks).


60. Dahl, V., Barahona, P. , Bel-Enguix, G., and Kriphal L., (2010) Biological Concept Formation Grammars- A Flexible, Multiagent Linguistic Tool for Biological Processes. LAMAS 2010.


59. Bel Enguix, G., Jimenez-Lopez, M.D., and Dahl, V. (2009) Teaching Logic Programming Tools for Interdisciplinary Computing. In: Proc. European Computer Science Summit 2009: Informatics among the Sciences- Scientific Principles in Informatics. Paris, October 7-9 2009, pp. 31-40.


58. Dahl, V., Cukierman, D., Bel-Enguix, G. and Jimenez-Lopez, M.D. (2010) Logic Programming: Teaching Strategies for Students with No Programming Background. In: Proc. WCCCE '10: Western Canadian Conference on Computing Education, Kelowna, B.C.


57. Bel Enguix, G., Jimenez-Lopez, M.D., and Dahl, V. (in press) Mining Linguistics and Molecular Biology Texts through Specialized Concept Formation. Poster, NLPCS'09.

56. Dahl, V. and Gu, B. (2008) On Semantically Based Property Grammars. In Proc. CSLP 2008, Hamburg, Germany.

55. Gu, B.Popowich,  F. and Dahl, V. (2008) Recognizing Biomedical Named Entities in Chinese Research Abstracts. In Proceedings of the 21th Canadian Conference on Artificial Intelligence (AI-2008). Windsor, Ontario, May 28-30, 2008.

54. Gu, B.,  Dahl, V. and Popowich,  F.  (2007) Recognizing Biomedical Named Entities in the Absence of Human Annotated Corpora. In Proceedings of IEEE International Conference on Natural Language Processing and Knowledge Engineering (NLP-KE 2007). Beijing, China, August 30 - September 1, 2007.

53. Dahl, V. and Gu, B.  (2007) A CHRG Analysis of ambiguity in Biological Texts (Extended Abstract). In Proceedings of 4th International Workshop on Constraints and Language Processing (CSLP-2007), part of the Sixth International and Interdisciplinary Conference on Modeling and Using Context (Context07), Roskilde University, Denmark, 20-24 August 2007.

52. Dahl, V. and  Gu, B.  (2006) Semantic Property Grammars for Knowledge Extraction from Biomedical Text. In Proceedings of 22nd International Conference on Logic Programming (ICLP-2006).

51. Christiansen,  H. and Dahl, V. (2005) Modeling and Using Context. In Proc. 5th  International and Interdisciplinary Conference CONTEXT 2005, Paris, France, July-5-8.

50. Bavarian, M. and Dahl, V. (2005) Constraint Based Methods for Biological Sequence Analysis. In Proc. PROLE 05, Granada, Spain.

49. Dahl, V. Treating Long-Distance Dependencies through Constraint Reasoning. In Proc. 3rd International Workshop on Multiparadigm Constraint Programming Languages, Saint-Malo, France, Sept. 2004.
48. Dahl, V. and Tarau, P. Assumptive Logic Programming. In Proc. ASAI'04, Cordoba, Sept. 2004.

47. Aguilar Solis, D. and Dahl, V. Coordination revisited: a CHR approach. In Proc. Iberamia '04, Mexico. 

46. Christiansen, H. and Dahl, V. (2004). Assumptions and Abduction in Prolog. In: Proc. MULTICPL'04 (Third International Workshop on Multiparadigm Constraint Programming Language, Saint-Malo, France, Sept. 04.

45.  Dahl, V. and Voll, K. (2004) Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction. In Proc. First International Workshop on Natural Language Understanding and Cognitive Sciences (NLUCS'04), Porto, Portugal, April 2004.

44.  Dahl, V. and Blache, P. (2004) Directly Executable Constraint Based Grammars.  In Proc. Journees Francophones de Programmation en Logique avec Contraintes,  Angers, France, June 2004.  


43. Barranco-Mendoza, A. Persaoud, D.R. and Dahl, V. (2004) A property-based model for lung cancer diagnosis. 8th Annual Int. Conf. on Computational Molecular Biology, RECOMB 2004, San Diego, California, March 27-31 (accepted poster).

42. Barranco-Mendoza, A. Persaoud, D.R. and Dahl, V. (2004) Intelligent system for early diagnosis of lung cancer ussing a multidisciplinary approach. ASI Exchange, Vancouver, B.C., Canada, March 9 (accepted poster).

41. Bs, G., Dahl, V., Guillot, D., Lamadon, L., Milutinovici. I. and Paulo, J. (2003) A parsing system for balanced parenthesis in NL texts.  Poster and Demo at the Lorraine-Saarland Workshop on Prospects and Advances in the Syntax/Semantics Interface, Loria-Nancy

40. Dahl, Veronica (2001). Meaningful communication with computers, the web, and robots: research directions. In: Proc. SLPLT01 (Second International Workshop on Spanish Language Processing and Language Technologies), Jaen, Spain, Sept. 2001.

39. Aguilar-Solis, D., and Dahl, V. (2001) Spanish as a Data Definition LanguageIbidem.

38. Voll, K., Yeh, T. and Dahl, V. (2000) An Assumptive Logic Programming Methodology for Parsing. In Proc. 12th Int'l Conference on Tools with Artificial Intelligence 2000.

37. Rochefort, S., Tarau, P. and Dahl, V. (2000) Feature Interaction Resolution Through Hypothetical Reasoning. Proc. 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000), Orlando, USA.

36. Andrews, J., Dahl, V. and Jayaraman, B. (1999) Logic Grammars, Compositional Semantics, and Overgeneration. In: S. Fong and P. Sabatier (eds.) Proc. Natural Language Understanding and Logic Programming Workshop (NLULP99), Las Cruces, New Mexico, pp. 1-16.

35. Rochefort, S. and Dahl, V. (1999) LPed ALE: An Application of Logic Programming in Distance Education. In: Proc. Distributed and Internet Programming with Logic and Constraint Languages, ICLP99, pp.1-11.

34. Rochefort, S.,  Dahl, V. and Tarau, P. A Framework for Virtual Learning Environments. In Proceedings of  EMEDIA'99 World Conference on Educational Multimedia, Hypermedia and Telecommunications, Seattle,

Washington, june 1999.


33. Tarau, P. and Dahl, V. (1998) Code Migration with First Order Continuations. (invited contribution) In Proc. Joint Declarative Programming Conference, La Coruna, Spain.

32. Rochefort, S., Dahl, V. and Tarau, P. (1998) A Virtual Environment for Collaborative Learning. In Proc. World Multiconference on Systemics, Cybernetics and Informatics, Florida.

31. Dahl, V., Tarau, P. and Li, R. (1997) Assumption Grammars for Natural Language Processing.  In: Lee Naish (ed.) Proc. Fourteenth International Conference on Logic Programming, pages 256-270, MIT Press, 1997.

30. Dahl, V., Tarau, P., Accuosto, P. , Rochefort, S. and Scortescu, M. (1997) Assumption Grammars for Knowledge-Based Systems. Proc. NLDB'97, Vancouver, June 1997.

29. Tarau, P., Dahl, V. and De Boschere, K. (1997) A Logic Programming Approach to Coordination in Virtual Worlds.In Proc. Workshop on Coordination languages, models, systems in the Software Technology Track of the Hawaii International Conference on System Sciences.

28. Tarau, P., Dahl, V. and De Boschere, K. (1997) A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. In: Proc. Post ICLP Workshop on Logic Programming and Multi Agents, Leuven.

27. Tarau, P., Dahl, V., Rochefort, S. and De Bosschere, K. (1997) LogiMOO: a Multi-User Virtual World with Agents and Natural Language Programming, In: Proc. CHI'97, S. Pemberton (ed.), Atlanta, 1997, pp. 323-324, ACM ISBN 0-8979-926-2.

26. Tarau, P., Dahl, V. and De Bosschere, K. (1997) Remote Execution, Mobile Code and Agents in BinProlog. Electronic Proc. Logic Programming Workshop in conjunction with the 6th International World Wide Web Conference, April 7-11, Santa Clara, 1997. 

25. Li, R., Dahl, V., Moniz Pereira, L. and Scurtescu, M. (1997) Dealing with Exceptions in Textual Databases. In Proc. NLDB'97, 11:33, Vancouver, June 1997.

24. Zaiane, O. R., Fall, A., Rochefort, S., Dahl, V. and Tarau, P. (1997) Concept-Based Retrieval using Controlled Natural Language. In Proc. NLDB'97, Vancouver, June 1997.
23. Zaiane, O. R., Fall, A., Rochefort, Dahl V. and Tarau, P. (1997) On-Line Resource Discovery using Natural Language, in Proc. RIAO'97 , Computer-Assisted Searching on the Internet, pp. 336-355, McGill University, Montreal.

22. Rochefort, S., Dahl, V. and Tarau, P. (1997) Controlling Virtual Worlds through Extensible Natural Language. In: Proc. 1997 AAAI Symposium Series "Natural Language Processing for the World Wide Web", March 1997, Stanford University, California. 

21. Dahl, V., Fall, A., Rochefort, S. and Tarau, P. (1996) A Hypothetical Reasoning Framework for Natural Language Processing. In Proc. 8th IEEE International Conference on Tools with Artificial Intelligence. Toulouse, France, Nov. 1996.

20. Dahl, V., Tarau, P. and Andrews, J. (1995) Extending Datalog Grammars. Proc. Workshop on Natural Language and Databases (NLDB'95), Versailles, France, June 1995.

19. Andrews, Dahl, V. and Tarau, P. (1995) Continuation Logic Programming: Theory and Practice. In Proc. ILPS'95 Workshop on Operational and Denotational Semantics of Logic Programs, Portland, Oregon, Nov. 1995.

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

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

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

15. Dahl, V., Fall, A., and Thomas, M.C. (1995) Driving Robots through Natural Language. In Proc. 1995 IEEE International Conference on Systems, Man and Cybernetics, pp. 1904-1908.

14. Thomas, M.C., Dahl, V., and Fall, A. (1995) Logic Planning in Robotics. In Proc. 1995 IEEE International Conference on Systems, Man and Cybernetics, pp. 2951-2955.

13. P. Tarau, V. Dahl, and A. Fall. Backtrackable State with LinearAssumptions, Continuations and Hidden

Accumulator Grammars. In John Lloyd, editor, Proceedings of ILPS'95 Workshop on Visions for the Future of

Logic Programming , page 642, Portland, Oregon, November 1995. poster abstract.

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.

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

10. Hagen, E. and Dahl, V. (1994) On Multiple-Valued Deductive Databases. Proc 10th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, Banff, pages 31-38, May 1994.

9. Dahl, V., Tarau, P. and Huang, Y-N. (1994) Datalog Grammars. 1994 Joint Conference on Declarative Programming. Peniscola, Spain, Sept 19-22.

8. Dahl, V. (1988) Representing linguistic knowledge through logic programming. In: Proc. 4th International Conference on Logic Programming, Seattlle.
7. Dahl, V. (1985) Hiding complexity from the casual writer of parsers.In: Natural Language Understanding and Logic Programming, pp. 1-19, Elsevier.

6. Dahl, V. (1984More on gapping grammars In: Dahl and Saint-Dizier (eds.)  Proc. International Conference on V Generation Computer Systems, Tokyo, Ohmsha Publishing Co., pages 669-677, 1984.

5. Dahl, V. (1980) A Three-Valued Logic for Natural Language Computer Applications. In: Proc. International Symposium on Multiple Valued Logic, pp. 102-107, Illinois.

4. Dahl, V. (1980) Two solutions to the negation problem. In: Proc. Logic Programming Workshop, Debrecen.

3. Dahl, V.  (1979) Quantification in a three-valued logic for natural language question-answering systems. In Proc. IJCAIÕ79, Tokyo, Japan. 

2. Dahl, V.  (1979) Logical design of deductive, natural language consultable data bases. In: Proc. V International Conference on Very Large Data Bases, Rio de Janeiro, Brazil.

1. Dahl, V. (1977) Some experiences on natural language question-answering systems. Proc. Workshop on Logic and Data Bases, CERT, Toulouse, France.


9. Dahl, V.   (2001) About ICLP+CP 2001. In: Logic Programming Newsletter, Nov. 2001. 

8. Dahl, V. (1999) Encyclopedia Entry: Logic Programming and Languages. In: J. G. Webster (ed.) Wiley Encyclopedia of Electrical and Electronics Engineering, vol. 11, 576:580.

7. Dahl, V. and Tarau, P. (1998) From Assumptions to Meaning. In: Canadian Artificial Intelligence 42, Spring '98.

6. Dahl, V. (1995) Research on AI in Europe- a survey. Computational Logic (The Newsletter of the Compulog European Networks of Excellence).

5. Dahl, V. (1995) Introduction to the Special Issue: Computational Linguistics and Logic programming, The Journal of Logic Programming.

4. Dahl, V. (1994) The 1993 International Logic Programming Symposium AI Magazine, vol. 15, No. 4, pp. 73.

3. Dahl, V. (1992) Introduction to the Special Issue: Constraint Reasoning for Expert Systems, International Journal of Expert Systems, JAI Press Inc., 6(4), p. v-vii (invited contribution).

2. Dahl, V. (1994) Review of the research monograph: "Constraint-Based Grammar Formalisms", by Stuart Shieber. Computational Linguistics.19 (3), pp. 560-564 (invited contribution).

1. Dahl, V. (1985) Prolog, Mumps and Fifth Generation Computing. In: R. Dayhoff, (ed.) MUMPS UserÕs group Journal, vol. XV, No. 3pp. 3-13 (invited contribution to mark my Keynote Speech at the MUMPS Conference).


M10. Zahariev, M., Dahl, V. and Levesque, A. (T.R., 2008Efficient Algorithms for the Discovery of Oligonucleotide signatures for DNA Sequences and Groups of Sequences.

M9. Dahl, V. (1988) Static Discontinuity Grammars for Government-Binding Theory. CSS/LCCR TR 88-22, SFU.

M8. Brown, Ch., Pattabhiraman, T., Boyer, M., Massam, D., and Dahl, V. (1986) Tailoring Conceptual Graphs for use in NL Translation. LCCR TR 86-14, pp. 1-21.

M7. Dahl, V. and Saint-Dizier, P. (1986) Constrained Discontinuous Grammars- A Linguistically Motivated Tool for Processing Language. LCCR TR 86-8, SFU/ INRIA Rapport No. 573.

M6. Dahl, V. (1983) Current Trends in Logic Grammars. SFU TR 83-2, presented at panel session, International Conference on Logic Programming, Faro, Portugal.

M5. Dahl, V. (1983) Teoria de Lenguajes. CLAMI, Primer Simposio Latinoamericano de Informatica (invited contribution), pp. 1-87.

M4. Dahl, V. (1977) Un systeme deductif dÕinterrogation de banques de donnees en espagnol. These de Doctorat de Specialite en Intelligence Artificielle, Universite dÕAix-Marseille II, France.


M3. Dahl, V. and Sambuc, R. (1976) Un systeme de banque de donnees en logique du premier ordre, en vue de sa consultation en langue naturelle. Rapport de DEA, Universite d'Aix-Marseille II, pp. 1-29.

M2. Dahl, V. and Elinger, M. (1975) Algoritmo de Grafos para la Operacion Optima de Aprovechamientos Hidraulicos. Informe Tecnico No. 3, Instituto Nacional de Ciencia y Tecnica Hidricas, Buenos Aires, Argentina. (Prize Winner for  Scientific Production in Engineering).

M1. Dahl, V., Clerici S. and Lilliecreutz, S. (1974)  Algoritmo para decidir si una gramatica es o no LR(k) para k dado y arbitrario. Obtencion de una nueva gramatica para un compilador LR(k). TR, Universidad de Buenos Aires.



R2. Recent Contributions to publications through supervision:

[S21] Sharifi, A. (2009) A Domain Aware Grammar for Parsing Requirements into Typed FOL. Master’s Thesis, Simon Fraser University, Burnaby, British Columbia.

[S20] Gu, Baohua (2008) Recognizing Named Entities in Biomedical Text. PhD Thesis Dissertation, SFU.

[S19] Voll, Kimberly (2006) A methodology of error detection: Improving speech recognition in radiology. PhD thesis, Simon Fraser University, Burnaby, Canada.

[S18] Bavarian, M. (2006) Design and Analysis of Biological Sequences using Constraint Handling Rules. Masters thesis, Simon Fraser University, Burnaby, Canada.

[S17] Barranco-Mendoza, Alma (2005)  Stochastic and Heuristic  Modelling for Analysis of the Growth of Pre-Invasive Lesions and for a Multidisciplinary Approach to Early Cancer Diagnosis, Ph D dissertation, SFU.

[S16] Zahariev, Manuel (2004)   Automatic Expansion of Acronyms, SFU Ph D dissertation, winner of the 2004 Governor General's Gold Medal Award, Canada.

[S15] Zahariev, Manuel (2003), An Efficient Methodology for Acronym-Expansion Matching, submitted to Human Languages Technology Conference, NAACL-HLT 2003, Edmonton, Canada. 

[S14] Stephen Rochefort (2002) LPed ALE: A Multi-Agent System for Asynchronous Learning. E-Learn: World Conference on E-Learning in Corporate, Government, Healthcare and Higher Education, Montreal, QC, 2002. 

[S13] Fall, A. (1998) The Foundations of Taxonomic Encoding. Computational Intelligence 14 (4) : 598-642. 

[S12] Fall, A (1996) Reference Constraints and Individual Level Inheritance. Canadian AI Conference, Toronto : 336-348. 

[S11] Fall, A. (1996) Sparse Term Encoding for Dynamic Taxonomies. Proc. Fourth International Conference on Conceptual Structures, Sydney, Australia.

[S10] Fall, A. (1996) The Evolution of Taxonomic Encoding Techniques. In Dahl, V. and Sobrino, A. (eds.) :201-231, Ensayos sobre Programacion Logica. Santiago de Compostela University Press.

[S9] Fall, A. (1995) Spanning Tree Representations of Graphs and Orders in Conceptual Structures. In : Proc. Third Int. Conf. on Conceptual Structures. Santa Cruz : 232-246.

[S8] Fall, A. (1995) Heterogenous Encoding. Ibidem :134-146. 

[S7] Fall, A. (1995) An Abstract Framework for Taxonomic Encoding. Ibidem : 162-167.

[S6] Fall, A. (1994) Sparse Logical TermsApplied Mathematics Letters. 8(5) :11-16. 

[S5] Andrews, J.A. (1994) Foundational Issues in Implementing Constraint Logic Programming Languages. In Proc. 5th European Symposium on Programming Languages, Scotland :74-88. 

[S4] Calder, J. (1993) Graphical Interaction with Constraint-Based Grammars. Proc. Third Pacific Rim Conference on Computational Linguistics, Vancouver : 160-169.

[S3] Sidebottom, G. (1993) Implementing a CLP(B) with the Connection Theorem Proving Method and a Reason Maintenance System. Journal of Symbolic Computation, 15 :27-48. 

[S2] Andrews, J. (1992) Towards Proof-Theoretic Characterizations of Constraint Logic Programming Systems. In: Proc. Workshop on Proofs and Types in Logic Programming, Washington, D. C. Nov. 1992.

[S1] Dorner, B. and Hagen, E. (1994) Towards an American Sign Language Interface. Artificial Intelligence Review, 8 (2-2) : 235-253.   

 2. Service Related Publications (unrefereed)

8. Dahl, V.  The Prez is Off the Hook! Long Live the Prez!, Logic Programming Newsletter  vol. 18, No. 1, February 2005.


7. Dahl, V. A day in the life of a proof (song lyrics for Antonio Carlos Jobim's A day in the life of a fool). Logic Programming Newsletter  vol. 18, No. 1, February 2005. (N.B. you'll need an MP3 player)


6. Dahl, V.  A word with the President, Logic Programming Newsletter part I, part 2, vol. 14, numbers 2/ 3, May/Aug 2001.


5. Dahl, V. (1998) The best kept LP secret- Latin PercussionLogic Programming Newsletter, Volume 11/2, May 1998 , p. 20.


4. Dahl, V. (1998) Yes, You Can- Letter to Young Women Scientists Blossoming in Men's Fields. In: Logic Programming Newsletter, 11(3):6, Aug. 1998. Reprinted from: SCWIST Newsletter, 14(1):4, Jan. 1997.

3.    On False Choices Affecting Female Representation in Science and Technology. From my Invited talk at CASCON'96 Workshop The  Gender Gap, Toronto, Nov. 1996.

2. Dahl, V. (second edition, 1995) Analysis of Female Underrepresentation in Computing Sciences Departments- What can be done. Simon Fraser University.

1. Dahl, V., Kirkpatrick, D. and Pruzinkiewicz, P. Report on Internal Restructuring of NSERC's Computing and Information Science Grant Selection Committee. Technical Report, NSERC, 1992.