CV SUMMARY: Received the Best Promising Paper Award at the Third International Work-Conference on the Interplay between Natural and Artificial Computation (2009). Recently appointed as Advisory Board Member, International Federation for Computational Logic (July 2010). Awarded a Marie Curie Chair of Excellence by the European Commission (2008-2011). Honoured in 1997 by the Association for Logic Programming as one of the Founders of the Logic Programming field. Received the Calouste Gulbenkian Award for Science and Technology. Received the Oustanding Achievement Award for Research, Teaching and Administration, SFU 2002-07; the 1999 CAGIS Distinguished Service Award; and the MSTL Innovative Teaching Program Award 1996-7. 14 other international research awards/honours. Three literary awards. Over 120 scholarly publications, 5 service related publications, two keynote speeches, numerous invited talks. Past Chair of the Cognitive Sciences Program at SFU (1998-99), past member of NSERC's Grant Selection Committee (1991-94), and Compulog Net/ Compulog Americas Coordinator. Present Lab Director and Past President of the Association for Logic Programming. Science for Peace Board Member and Past Publications Director.
My scientific leitmotifs are to help bridge the gap between the formal and the humanistic sciences, and to achieve more human-like communication with computers. In the process, I hope to understand more about language in a general sense (including, for example, languages in terms of which molecular biology problems can be fruitfully expressed) and I typically produce results of both foundational and practical value for computational logic/linguistics/intelligence/molecular biology.
Citizenship dual Argentine/Canadian
Academic Degrees and Studies
1977 Doctorat de
Specialite en Intelligence Artificielle, Aix-Marseille II University
1976 Diplome d'Etudes Approfondis, Aix-Marseille II University
1974 Computador Cientifico, Buenos Aires University
1974 Unconcluded studies in Literature, 14 subjects, Faculty of Philosophy and Literature, Buenos Aires University
Professional and Academic Background
2008-2011 Marie Curie Chair, University of Tarragona, Spain
2004-2007 Foreign Collaborator, CONTROL project (with Denmark and France)
2003 Directeur de Recherche Etranger, CNRS, LPL, Universite de Provence, France
2002 Consultant, Vancouver Software Labs
2001 to 2005 Founder and Chairperson, LifeIntel (http://www.lifeintel.com)
1986 to date Director, Logic and Functional Programming Laboratory, , Simon Fraser University
1995 Industrial Fellow, MPR Teltech Ltd., British Columbia
1998-99 Chair, Cognitive Sciences Program, Simon Fraser University
1991 to date Professor, School of Computing Sciences, Simon Fraser University
1987-88 Consultant, International Artificial Intelligence
1985-86 Consultant, IBM Toronto
1982-91 Associate Professor, Simon Fraser University
1982 Visiting Professor, University of Kentucky
1981 Visiting Adjunct Professor, University of Bahia Blanca
1979-82 Adjunct Researcher, Argentine National Scientific Research Council
1978-79 Head of Systems Division, Vialidad Nacional, Argentina
1978-82 Adjunct Professor, Buenos Aires University
1974-75 Researcher under contract, full time, Argentine National Institute of Hydrological Sciences
1973 Scholarship, Argentine National Institute of Hydrological Sciences
1973 Head of Teaching Assistants, Center of Advanced Studies in Exact Sciences
1973-75 Teaching Assistant, Exact Sciences Faculty, Buenos Aires Universit
1968-72 English teacher, various primary and high schools in Buenos Aires
Languages: fluent in English, Spanish (both mother tongues) and French (8th year Alliance Francaise, Buenos Aires); some Italian and Portuguese, 3rd year of German at Goethe Institute.
guitar player, vocalist (specializing in Latin American
music), song composer, salsa dancer, tango dancer.
Academic Distinctions, Awards, HonoursI. RESEARCH
Member, International Federation for Computational Logic (IFCoLog), as from 2010.
Promising Paper Award,
Third International Work-Conference on
Interplay between Natural and Artificial Computation (2009).
of Excellence Award from the European Commission in 2006, for my
on Constraint Solving and Language Processing for Bioinformatics.
Board Member, since 2008.
18. Killam Commitee Member (Canada Arts Council), 2007-2010.
17. Past President, Association for Logic Programming, 2005- 2009.
16. President of the Association for Logic Programming, January 2001 to January 2005.
15. Honoured as one of the Founders of Logic Programming This is an honour bestowed by the Association of Logic Programming in 1997, to recognize the pioneers of the field:
1. EXPLANATION OF MOST SIGNIFICANT RECENT CONTRIBUTIONS
MS2. Intelligent methodologies for Life Sciences, in particular Molecular Biology:
Several years ago, the agreeable surprise
that our book with Harvey Abramson Logic Grammars [M3] had been
extensively used to help find the human genome convinced me that
casting life sciences problems in linguistic/grammatical terms has
enormous potential. I have combined this new interest with my own field
of expertise in two ways:
- With Andre Levesque and Manuel Zahariev, I developed efficient software for plant pathology identification from signature oligos [M17]. Our results, which are used daily now, reduced what used to be a six month-person effort at Agriculture and AgriFood Canada to an average 15 minutes of computing.
- With Maryam Bavarian, I applied the high level methods I have developed for processing language to the automatic analysis of biological sequences [J26] and to RNA secondary structure design [P52].
MS3. Properties as
constraints—from parsing to cognitive modeling
From trying to create
knowledge bases from human language [M12,M14], the need for more
linguistic models became apparent. Among those aiming at accepting the
typically imperfect input that results from spontaneous speech, we
noted the Property based paradigm, evolved by Blache from Bes' original
5P formalism, which relies on
property satisfaction between categories, allowing us to parse
incomplete and even incorrect input in a very modular and adaptable
way. I obtained a position as Chercheur Etranger at Universite de
Provence in order to develop a methodology
Property Grammars which invisibly interprets
linguistic descriptions as directly executable specifications, and
shows all partial analyses even upon failure [P44]. More generally, our
work shows for the first time that direct renditions of flexible,
constraint based parsing formalisms can be made to run efficiently
while preserving a one-to-one correspondence between the conceptual and
the representational levels. Our results generalize into directly executable cognitive models
With Kimberly Voll, we have
investigated the use of these methodologies in
error detection and correction of radiology reports as obtained from
speech recognition. As well, we’ve developed methods for the
intelligent reconstruction of implicit human language structures, both
from an Assumptive logic point of view [J22] (which metagrammatically
extends parsers so that implicit structures are understood from
context), and from a constraint reasoning point of view [P49].
Applications to language processing include: application to
coordination, with Dulce Aguilar Solis [P47], and to long distance
With Philippe Blache, I have
obtained very encouraging results on extracting noun phrases from
arbitrary text (we use text from the newspaper Le Monde) [P54], and
Baohua Gu, I have generalized these results into concept extraction
through natural language-- specifically, we have adapted my
parser to extract concepts as well as targeted syntactic phrases, and
to use English rather than French, with encouraging results [56,59].
much work remains to be done on the semantic component.
MS4. Integrating high level methodologies into a new language: HYPROLOG
Motivated by language processing
problems, I developed with Paul Tarau et al. Assumption grammars/logic
programming including linear affine, intuitionistic and timeless
assumptions [P31,P48,J19,J22]. With Henning Christiansen, I combined my
work on diagnosis through datalog grammars and abduction [M15] with
Constraint Handling Rules (CHR) instead of datalog, and used it for the
automatic diagnosis and correction of syntactic errors [J25]. We use
abduction in a novel, direct way, without the overhead of alternating
abductive steps with resolution steps, as in previous approaches.
These successes led us to finally integrate assumptions and abduction into HYPROLOG, a new logic programming language with hypothetical reasoning capabilities [P53]. It shows a novel flexibility in the interaction between the different paradigms, including all additional built-in predicates and constraint solvers that may be available through CHR, whose syntax it partially borrows from and is used to implement integrity constraints associated to assumptions or to abducibles. As well, it seems to provide the most efficient of known implementations for abduction in logic programming. For assumptions, the current HYPPROLOG version runs only three times slower than BinProlog, where assumptions are hard wired. A four-year collaboration with France and Denmark (the CONTROL project) underlies these endeavors. A new workshop series on Constraint Solving and Language Processing has sprung from this collaboration.
2.1 ARTICLES IN REFEREED PUBLICATIONS
(in press) An introduction
to Natural Language Processing- the Main
Problems. Triangle Journal.
J) 28.Dahl, V. and Garcia, A. J. (in press) Programacion Logica. Triangle Journal.
J) 27. Zahariev, M., Dahl, V., Chen, W. and Levesque, A. (2009) Efficient Algorithms for the Discovery of Oligonucleotide Barcoded from Sequence Databases. International Journal on Molecular Ecology Resources.
and Dahl, V. (2006)
Constraint-based methods for biological sequence analysis. In: Journal
of Universal Computer Science (invited
contribution: extension of a previous
version which was selected as one of the best
papers at PROLE'05).
J) 25. 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).
S. and Dahl, V. (2002) Learning and using mathematics the
natural way. Applied Mathematics Letters.
J) 23. 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.
J) 22. 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).
J) 21. Dahl, V., Tarau, P., Accuosto, P., Rochefort, S. and Scurtescu, M. (1999) A Spanish Interface to LogiMOO - Towards Multilingual Virtual Worlds. Informatica, vol 2.
J) 20. 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.
P., Accuosto, P. , Rochefort,
Scurtescu, M. (1998) Assumption
Grammars for Knowledge-Based Systems. Informatica,
extension of a previous version which was selected as one of the best papers at NLDB'97).
J) 18. J. Andrews, V. Dahl, and F. Popowich (1996) Characterizing Logic Grammars: A Substructural Approach. Journal of Logic Programming 26(3): 235-283.
J) 17. 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,
J) 16. 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.
J) 15. Dahl, V. (1994) Natural language processing and logic programming. Journal of Logic Programming, 12 (1), pp. 681-714, 1994 (invited contribution).
J) 14. V. Dahl (1993) What the study of language can contribute to AI. AI Communications, 6(2):92-106.
J) 13. 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.
J) 12. 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.
J) 11. V. Dahl. Incomplete types for logic databases. Applied Mathematics Letters, 4(3):25-28, 1991.
J) 10. 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.
J) 9.V. Dahl and F. Popowich. Parsing and generation with Static DiscontinuityGrammars. New Generation Computing, 8(3):245-274, December 1990.
J) 8. Dahl, V. and Massicotte, P. (1990) Interpreting static discontinuity grammars. Applied Mathematics Letters, -24, 1990.J) 7. V. Dahl. Discontinuous grammars. Computational Intelligence, 5(4):161-179, 1989.
J) 6. 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.
J) 5. V.
Dahl. More on gapping grammars. In Proc. International
Conference on V Generation Computer Systems, Tokyo, Ohmsha Publishing Co., pages 669-677, 1984.
J) 4. Dahl, V. and McCord, M. C. (1983) Treating Coordination in Logic Grammars. American Journal of Computational Linguistics 9(2): 69-91.
Dahl, V. (1983) On Logic Programmed Representations of Knowledge.
issue on Knowledge Representation, N. Cercone and G.
(eds.), vol. 16, No. 10, pp. 106-113 .
J) 2. V. Dahl. On database systems development through logic (1982) ACM Transactions on Database Systems, 7(1):102-123.
Dahl. Translating Spanish into Logic through Logic (1981) American
Computational Linguistics, 13:149-164.
Monographs, Books or Book Chapters
V. Decoding Nucleic Acid Strings through
Human Language (2010) Language as a
Interdisciplinary Approaches (Bel-Enguix, G.
and Jiménez-López, M.D. (editors) Cambridge
Scholars Publishing, 2010, ISBN (13): 978-1-4438-1762-2)
M) 20. Dahl, V., Jimenez-Lopez, M. D. and Perriquet, O. (2010) Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. PAAMS 2010, volume 2. Advances in Intelligent and Soft Computing series of Springer Verlag.
M) 19. Dahl, V. and Maharshak, E. (2009) DNA Replication as a Model for Computational Linguistics. In J. Mira et al. (Eds.): IWINAC’09 (Best Paper Award), LNCS 5601, pp. 346-355, 2009. LNCS, Springer-Verlag M) 16. Dahl, V. (2004)
M) 18. 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. LNCS, Springer-Verlag.
H. and Dahl, V. (2009) Abductive Logic Grammars. In: Ono, H.,
and de Queiroz, R.J.B, Logic, Language, Information and Computation,
Springer, ISBN 978-3-642-02260-9, pp. 170-181.
16. Treating Long-Distance Dependencies through Constraint Reasoning. In: LNAI 3438 (invited contribution: expanded version of a paper chosen as one of the best at CSLP'04).
(2002) On Implicit Meanings.
In: Computational Logic: From Logic Programming into the Future .
F. Sadri and T. Kakas (eds.)
volume in honour of Bob Kowalski, Springer-Verlag.
M) 14. 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.
M) 13. 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.
M) 12. 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.
and Dahl, V. (1999) A Logic Programming Infrastructure for Internet
Programming. In: Wooldridge, M. J. and Veloso,
Artificial Intelligence Today -- Recent Trends and
Developments, Springer, LNAI 1600, 431:456, ISBN 3-540-66428-9.
M) 10. 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.
Pereira, L. and Dahl, V. (1998) Refining
with Abductive Logic
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
Dahl, V. and Fall, A. (1996) Backtrackable
State with Linear Affine Implication and Assumption Grammars. In: Lecture
Computer Science 1179, Springer Verlag:
parallelism, Programming, Networking, and Security. Jaffar, J. and
Tarau, P. and Dahl, V. (1995) Logic
Programming and Logic Grammars with First-Order Continuations. LNCS
Springer-Verlag, vol. 883, pp.
6. 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.
M) 5. V. Dahl. Comment on implementing Government-Binding theories (1992) In R. Levine, editor, Formal Linguistics: Theory and Practice, pages 276-289.
M) 4. 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 )
M) 3. H.
Abramson and V. Dahl. Logic Grammars. Monograph, Symbolic
Computation AI Series. Springer-Verlag,
M) 2. V. Dahl and P. Massicotte. Processing techniques for discontinuous grammars. In Meta-Programming for Logic Programming, pages 141-156. MIT Press, 1988.
M) 1. V. Dahl. Logic Programming for Constructive Expert Systems. Database Systems and Applications. Benjamin/Cummings, 1986.
Articles in Refereed Conference/Workshops Proceedings: Published or Accepted
P) 67. Bel Enguix, G., Jimenez-Lopez, M.D., and Dahl, V. (2009) DNA and Natural Languages: Text Mining. In: IC3K 2009: Proc. International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, INSTICC, Madeira, pp. 140-145.
P) 66. 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.
P) 65. Bel Enguix, G., Jimenez-Lopez, M.D., and Dahl, V. (2009) Mining Linguistics and Molecular Biology Texts through Specialized Concept Formation. Poster, NLPCS'09.
P) 64. Dahl, V. and Gu, B. (2008) On Cognitive Based Property Grammars. In Proc. CSLP 2009, Hamburg, Germany.
P) 63. 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.P) 62. Christensen, H. and Dahl, V. Abductive Logic Grammars. In: Proceeds WoLLIC 2009.
P) 61. Dahl, V. and Maharshak, E. (in press)
DNA Replication as a Model for Computational Linguistics. LNCS,
Springer-Verlag. Best Promising Paper Award, 3rd International
Work-Conference on the Interplay between Natural and Artificial
P) 60. 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.
Dahl, V. and Gu, B. (2008) On
Semantically Based Property Grammars. In Proc. CSLP 2008, Hamburg,
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).
Ontario, May 28-30, 2008.
P) 57. Baohua Gu, Veronica Dahl, and Fred
Recognizing Biomedical Named
Entities in the Absence of Human Annotated
Corpora. In Proceedings of IEEE International Conference on
Language Processing and Knowledge Engineering (NLP-KE 2007). Beijing,
China, August 30 - September 1, 2007.
P) 56. Veronica Dahl and Baohua Gu (2007). A CHRG Analysis of ambiguity in Biological Texts. 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.
P) 55. 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).
P) 54. Dahl, V. and Blache, P. (2005) Extracting Selected Phrases
through Constraint Satisfaction. In: Proc. Constraint Satisfaction and Language
Processing SLP'05, Sitges, October 05.
P) 53. Christiansen, H. and Dahl, V. (2005) HYPROLOG: a New Logic Programming
Language with Assumptions and Abduction. In: Proc. International Conference on Logic
Programming 05 (ICLP'05), Sitges, Spain, Oct 1-5, 2005.
P) 52. Bavarian, M. and Dahl, V. (2005) RNA Secondary Structure Design
Using Constraint Handling Rules. In Proc. Workshop on Constraints for
Bioinformatics, ICLP'05, Sitges, Spain, Oct 5, 2005.
P) 51. Bavarian, M. and Dahl, V. (2005) Constraint Based Methods for Biological Sequence Analysis. In Proc. PROLE'05 (Spanish Workshop on Programming and Languages), Granada, Spain, Sept 12-16.
P) 50. Christensen, H. and Dahl, V. (2005) Modeling and Using Context.
In Proc. 5th International and
Interdisciplinary Conference CONTEXT 2005, Paris, France.
P) 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.
P) 48. Dahl, V. and Tarau, P. Assumptive Logic Programming. In Proc. ASAI'04, Cordoba, Sept. 2004.
P) 47. Aguilar Solis, D. and Dahl, V. An assumptive grammar treatment of coordination. In Proc. Iberamia '04, Mexico.
P) 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
P) 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.
Dahl, V. and Blache, P. (2004) Directly
Based Grammars. In Proc. Journees Francophones de
Programmation en Logique avec Contraintes, Angers, France,
P) 43. Barranco-Mendoza, A. Persaoud,
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
P) 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 (poster).
P) 42. Barranco-Mendoza, A. Persaoud,
and Dahl, V. (2004) Intelligent
early diagnosis of lung cancer using a multidisciplinary
approach. ASI Exchange,
Canada, March 9 (poster).
P) 42. Barranco-Mendoza, A. Persaoud,
and Dahl, V. (2004) Intelligent
early diagnosis of lung cancer using a multidisciplinary
approach. ASI Exchange,
Canada, March 9 (poster).
P) 41. Bès,
V., Guillot, D., Lamadon,
P) 40. Dahl, Veronica (2001). Meaningful
communication with computers, the web, and robots: research directions.
Proc. SLPLT01 (Second International Workshop on Spanish Language
Processing and Language Technologies),
P) 39. Aguilar-Solis, D., and Dahl, V. (2001) Spanish as a Data Definition Language. Ibidem.
P) 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.
P) 37. Rochefort,
S., Tarau, P. and
V. (2000) Feature Interaction Resolution Through Hypothetical
Reasoning. Proc. 4th World Multiconference
on Systemics, Cybernetics and Informatics
P) 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.
P) 35. Rochefort,
Dahl, V. (1999) LPed ALE:
An Application of Logic Programming in Distance Education. In: Proc.
Internet Programming with Logic and Constraint Languages,
P) 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.
P) 33. Tarau, P.
and Dahl, V. (1998) Code Migration with First Order Continuations.
(invited contribution) In Proc. Joint Declarative
Programming Conference, La Coruna,
P) 32. Rochefort,
Dahl, V. and Tarau, P. (1998) A
Virtual Environment for Collaborative Learning. In Proc. World Multiconference on Systemics,
P) 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.
P) 30. Dahl, V., Tarau,
Accuosto, P. , Rochefort,
Scortescu, M. (1997) Assumption
Grammars for Knowledge-Based Systems. Proc. NLDB'97,
P) 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.
P) 28. Tarau,
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,
P) 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.
P) 26. Tarau,
and De Bosschere, K. (1997) Remote
P) 25. Li, R., Dahl, V., Moniz
Pereira, L. and Scurtescu, M. (1997) Dealing
in Textual Databases. In Proc. NLDB'97, ,
P) 24. Zaiane,
V. and Tarau, P. (1997) Concept-Based
Retrieval using Controlled Natural Language. In Proc. NLDB'97,
P) 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.
P) 22. Rochefort,
S., Dahl, V. and Tarau,
through Extensible Natural Language. In: Proc. 1997
AAAI Symposium Series "Natural Language Processing for the World Wide
Web", March 1997,
P) 21. Dahl, V., Fall, A., Rochefort,
Tarau, P. (1996) A Hypothetical
Reasoning Framework for Natural Language Processing. In Proc. 8th
Conference on Tools with Artificial Intelligence.
P) 20. Dahl, V., Tarau, P. and Andrews, J. (1995) Extending Datalog Grammars. Proc. Workshop on Natural Language and Databases (NLDB'95),
P) 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,
P) 18. Dahl, V., Fall, A. and Tarau, P. (1995) Resolving Co-Specification in Contexts. In Proc. IJCAI'95 Workshop on Context in Language,
P) 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,
P) 16. Balsa, J., Dahl, V. and
P) 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.
P) 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.
P) 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.
P) 12. Huang, Y.N. , Dahl, V. and Han, J. (1994) Rule
Logic Databases: A
P) 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.
P) 9. Dahl, V., Tarau, P. and Huang, Y-N. (1994) Datalog Grammars. 1994 Joint Conference on Declarative Programming.
P) 8. Dahl, V. (1988) Representing linguistic knowledge through logic programming. In: Proc. 4th International Conference on Logic Programming,
P) 6. Dahl, V. (1984) More 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.
P) 5. Dahl, V. (1980) A Three-Valued Logic for Natural Language Computer Applications. In: Proc. International Symposium on Multiple Valued Logic, pp. 102-107,
P) 4. Dahl, V. (1980) Two solutions to the negation problem. In: Proc. Logic Programming Workshop,
P) 3. Dahl, V. (1979) Quantification in a three-valued logic for natural language question-answering systems. In Proc. IJCAI’79,
P) 2. Dahl, V. (1979) Logical design of deductive, natural language consultable data bases. In: Proc. V International Conference on Very Large Data Bases,
P) 1. Dahl, V. (1977) Some experiences on natural language question-answering systems. Proc. Workshop on Logic and Data Bases, CERT,
2.2 INVITED CONTRIBUTIONS (unrefereed)
I13. Dahl, V. (2005) A Message from the former ALP President, ALP Newsletter, vol. 18, No. 1, Feb.05,
I12. Dahl, V. (2004) A Word with the President, Logic
Newsletter, 17:1, Feb 2004.
I11. Dahl V. and Wadler, P. (2003) Introduction. In:
I10. Dahl, V. (2001) A Word with the President, Logic
Programming Newsletter part I, part II, vol. 14, numbers 2/3, May/Aug
I9. Dahl, V. (2001) About ICLP+CP 2001. In: Logic Programming Newsletter, Nov. 2001.
I8. 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.
I7. Dahl, V. and Tarau, P. (1998) From Assumptions to Meaning. In: Canadian Artificial Intelligence 42, Spring '98.
I6. Dahl, V. (1995) Research on AI in
I5. Dahl, V. (1995) Introduction to the Special Issue: Computational Linguistics and Logic programming, The Journal of Logic Programming.
I4. Dahl, V. (1994) The 1993 International Logic Programming Symposium AI Magazine, vol. 15, No. 4, pp. 73.
I3. 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).
I2. Dahl, V. (1994) Review of the research monograph: "Constraint-Based Grammar Formalisms", by Stuart Shieber. Computational Linguistics.19 (3), pp. 560-564 (invited contribution).
I1. Dahl, V. (1985) Prolog, Mumps and Fifth Generation Computing. In: R. Dayhoff, (ed.) MUMPS User’s group Journal, vol. XV, No. 3, pp. 3-13 (invited contribution to mark my Keynote Speech at the MUMPS Conference).
2.3 EDITED VOLUMES OR CHAPTERS
E3. Blache, P., Christiansen, H., Dahl, V. and Villadsen, J.
(2009) Recent Advances in
Constraints and Language Processing, Springer Verlag.
E2. Dahl V. and Wadler, P. (eds.)
(2003) Practical Aspects of Declarative Languages. LNCS
E1. Lloyd, J., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Palamidessi, C., Pereira, L.M., Sagiv, Y. and Stuckey, P.J. (eds.) (2000) Computational Logic. Lecture Notes in AI, Springer, Vol. 1861.
2.4 MISCELLANEOUS SCHOLARLY PUBLICATIONS: TECHNICAL REPORTS, CONTRIBUTIONS IN PREPARATION, THESES
M., Dahl, V. and Levesque, A. Efficient
Algorithms for the Discovery of Oligonucleotide
signatures for DNA Sequences and Groups of Sequences. SFU Technical
M9. Dahl, V. (1988) Static Discontinuity Grammars for Government-Binding Theory. CSS/LCCR TR 88-22, SFU.
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
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. (Third 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:
[S22] Gu, Baohua (2006). Recognizing Nested Named Entities in GENIA Corpus. In Proceedings of BioNLP 2006, a workshop of HLT-NAACL 2006.
[S21] Voll, K. (2006) Closing
Gap: Opening the Door
for Women Leaders in Technology. Canadian Coalition of Women in
Engineering Science, Trades and Technology (CCWESTT) National
[S20] Voll, K., Atkins, S. and Forster, B. (2006) Improving the Utility of Speech Recognition Through Error Detection. Society for Computer Applications in Radiology (SCAR) Annual Meeting 2006, pp. 26-28.
[S19] Bharadwaj. P. and Molero, D. Metainterpretation of expert
systems with certainty factors. Student Poster, ICLP'06.
[S18] Maj, P. Knowledge Representation with Frames. Student Poster, ICLP'06.
[S16] Aguilar-Solis, D. (2006) Learning Semantic Parsers: a Constraint Handling Rule Approach. Poster, ICLP'06.
[S17] Barranco-Mendoza, Alma (2005) Stochastic and Heuristic Modeling
for Analysis of the Growth of Pre-Invasive Lesions and for a
Multidisciplinary Approach to Early Cancer Diagnosis, SFU PhD dissertation. Nominated
Advanced Systems Institute Innovation Award and the 2005 NSERC
[S16] Gu, Baohua (2005). Identifying Species-Specific
Bacteria Transcription Terminators Using SVM. Presented at the
International Symposium on Health Informatics and Bioinformatics
[S15] Zahariev, Manuel (2004) Automatic Expansion of Acronyms, Ph D dissertation, Winner of the 2004 Governor General's Gold Medal Award, Canada.
Manuel (2003), An Efficient Methodology for Acronym-Expansion
Matching, submitted to Human Languages Technology Conference,
[S13] 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.
[S12] Fall, A. (1998) The Foundations
Taxonomic Encoding. Computational Intelligence 14 (4) :
[S11] Fall, A (1996) Reference
Constraints and Individual Level Inheritance. Canadian AI
Conference, Toronto : 336-348.
[S10] Fall, A. (1996) Sparse Term
Encoding for Dynamic Taxonomies. Proc. Fourth International
Conference on Conceptual Structures, Sydney, Australia.
[S9] 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.
[S8] 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.
[S7] Fall, A. (1995) Heterogenous
Encoding. Ibidem :134-146.
[S6] Fall, A. (1995) An Abstract
Framework for Taxonomic Encoding. Ibidem : 162-167.
[S5] Fall, A. (1994) Sparse
Logical Terms. Applied Mathematics Letters. 8(5) :11-16.
[S4] Andrews, J.A. (1994)
Foundational Issues in Implementing Constraint Logic Programming
Languages. In Proc. 5th European Symposium on Programming
Languages, Scotland :74-88.
[S3] Calder, J. (1993) Graphical
Interaction with Constraint-Based Grammars. Proc. Third Pacific
Rim Conference on Computational Linguistics, Vancouver : 160-169.
[S2] Sidebottom, G. (1993) Implementing
with the Connection Theorem Proving Method and a Reason
Maintenance System. Journal of Symbolic Computation, 15
[S1] Dorner, B. and Hagen, E. (1994) Towards
Sign Language Interface. Artificial
Intelligence Review, 8 (2-2) : 235-253. (N.B.
more under section T2)
R4. Software Development and Technology TransferAlmost all my publications rely on implemented software as proof of concept. Moreover, some of it has had commercial applications. For instance, my research on incomplete types resulted, with my PhD student Andrew Fall, in software for efficiently treating taxonomies which is used at present in Canada in the forestry industry, in medical domains, etc. Dr. Fall created his own (very successful) company around these results. The influence of my 2002 (unpublished) work with Maite Taboada and Manuel Zahariev on Plagiarism Detection software for Vancouver Software Labs is evidenced by its being used at about 20 post-secondary institutions across Canada. My recent research on plant pathogen detection is used daily by Agriculture and AgriFood Canada, and led to my own company of intelligent software for molecular biology applications. My work on Logic Grammars was extensively used in laboratories around the world for discovering the human genome.
R6. Keynote Speeches
Advances in Artificial Intelligence- are we making real progress? Keynote Address, APICS'96 (Atlantic Provinces Council for the Sciences) Oct. 1996.
Prolog, Mumps and Fifth Generation Computing Keynote
Address, MUMPS User's Conference, Chicago, 1985.
R7. Banquet SpeechA day in the life of a Proof, ICLP'02, Copenhagen.
R8. Sample Invited Talks
1997 International Logic Programming Symposium: Logic Programming and Natural Language. Port Jefferson, NY.Conference Chair
1987 IV International Logic Programming Conference, Melbourne, Australia.
IJCAI 2001, Seattle: Local Arrangements Chair for Vancouver.
Session Organizer and Chair
Sample Program Committee Memberships
1999 to 2001: Coordinator, Compulog Net EU/the Americas Collaboration in LP and NLP
R11. Research Funding
The influence of my work on other researchers is evidenced by its having been adopted in contemporary software (e.g. my work on linear affine intuitionistic and timeless assumptions was incorporated into modern versions of Prolog such as BinProlog and CHR Grammars), by its having helped in interdisciplinary endeavours (e.g. to help find the human genome); and by its being referenced in prestigious journals, such as the Journal of Computational Linguistics, the Theory and Practice of Logic Programming Journal (formerly called the Logic Programming Journal), and ACM Transactions on Database Systems. Other than specific, specialised uses of my work, its lasting relevance is manifest in its also having been referenced in survey articles and in general and specific AI textbooks, such as Lugger and Stubblefield's AI book, Covington's Natural Language Processing for Prolog Programmers, and David Poole et al's Computational Intelligence book. My students are typically in high demand, both in academia and in industry.
Chair of Excellence Award from the
European Commission 2008-2011, for my work on Constraint Solving and
Language Processing for Bioinformatics.
Outstanding Achievement Award for research, teaching and administration, SFU 2002-07.
Innovative Teaching Program Award (with Drs. Han and Tarau, 1996/7: 50,000$ from the MSTL Innovations Fund)
T2. (2003) Panelist at ICLP'03's Panel session on (C)LP Teaching
(as Senior Supervisor for either theses or punctual
co-supervised- if absent, indicates complete supervision.
**** Nominated for the
2004 B.C. Advanced Systems Institute Innovation Award and for the 2005
NSERC PhD Dissertation Award
*** 2004 Governor General's Gold Medal Award
** 1996 SFU Graduate Prize in Computing Sci., finalist for Best Paper Award, Canadian AI Conference 1996 (see publication [S3] under R2), CSS First Place Exhibit Award at ASI Exchange, 98; ASI Best Student Exhibit Award, 97 .
* CSS Best Paper Award for his research project in the graduate course he took from me [S14].
T4. Extra Teaching
The following is a sample of extra teaching over the past few years, as from when due teaching credit for research oriented undergraduate courses was discontinued.
2004-3 Special Res.
Project Work study program
(2.5 contact hours/w., Naureen Sikder)
2001-1 Special Res. Project COGS491 (2.5 contact hours/w., K. Voll)
2001-2 Special Res. Project NSERC Dir. Studies Res. Award (3 contact hours/w., K. Voll)
2001-3 Special Res. Project COGS490 (2.5 contact hours/w, Rhian Davies)
2001-3 Special Res. Project CMPT 416 (2 contact hours/w., K. Voll)
2000-2 NSERC USRA Project (3 contact hours/w., K. Voll)
2000-2 Special Res. Project CMPT415 (2 contact hours/w., T. Yeh)
2000-2 Special Res. Project CMPT415 (2 contact hours/w., B. Trigona)
2000-1 Special Res. Project COGS490 (2.5 contact hours/w., K. Voll)
T5. New Course/ Academic Program Development
All the courses I teach are completely renewed at every offering. In addition, I developed from scratch the following completely new courses:
T6. As Judge:
CSS Student Poster Competition and Award Presentation
meeting: March 1999.
T7. Student Evaluations of my teaching:
I am typically rated as excellent or very good
by the majority of my students, when the normal level of expectation
at the School of Computing Sciences is good to very good. Some of the
"Always wanting to come to class because she smiles all the
"Passion for topic, fairness, international credibility is
highly valued, attitude towards students"
"This is the type of course that I would expect all upper
division courses to be like. Veronica was able to bring a great deal of
supplementary and up to date information into the course material. I
found that I had some problems dealing with this course because I am
used to taking courses in which the instructor merely restates what is
in the text, I am not
used to listening to someone who can actually bring some real
intelligence into the course content."
"Her open style of teaching generated a lot of discussions
class and promoted motivation for learning out of class."
"Let me state at the outset that Veronica was great. She is
very amiable towards students, and encourages interaction on a personal
level, creating a feeling of goodwill and encouraging questions and
"It's really neat to be reading a text on AI/NLP etc. and see the author cite Veronica's seminal paper ... (gives a feeling that these people really exist). Having a prof on the forefront of expert systems, prolog, etc. is very exciting for her students."
"Veronica is always ready to receive people in her office,
provide help, suggestions, research material."
"She was very entusiastic about the material and tried to get the students on top of the fast paced material."
"Excellent rapport with students; really tries to get to
"Always available for help, or endless resources available."
"Off the top of my head, only Veronica, R. Tront and D.
Fracchia know how to foster peak performers or provide an environment
that encourages research -which is where TRUE learning comes in. She is
one of a few
profs whom I want to do well for and not dissapoint."
"Excellent speaker, very fair with students, best teacher I've had so far in Comp-Sci."
"Strongest points: Communication, knowledge, research
ability, beautiful smile, flexibility." :-)
Comments from alumni:
"I enjoyed taking courses with you and talking with you. I've learned not only Prolog, CHRG, presentation and writing skills, but most importantly, I was inspired a lot by you. I still remember clearly that you encouraged us to dare to dream and aim high. Now I am aiming high and I would like to continue to PhD studies"
Service in many graduate students' committees, Temporary Senior Supervisor for numerous graduate students, supervision of teaching assistants, writing numerous letters of reference for students, etc.III. ADMINISTRATION, SERVICE:
A1. Awards, Honours:
U4. 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.
U3. On False Choices Affecting Female Representation in Science and Technology. From my Invited talk at CASCON'96 Workshop The Gender Gap, Toronto, Nov. 1996.
U2. Dahl, V. (second edition, 1995) Analysis of Female Underrepresentation in Computing Sciences Departments- What can be done. Simon Fraser University.
U1. 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.
A3. Panel Sessions
Panelist, SCWIST's AGM, May 20th 1999 (Society for Canadian Women in Science and Technology)
A4. Editorial Service
Publications Director, Science for Peace, Toronto , 1995-96.
A5. International and National Governance and Service
Killam Selection Committee Member: 2007 to 2010 President, Association for Logic Programming: Jan. 2001 to Jan. 2005. Area Coordinator (Natural Language Processing) Compulog Americas Coordinator of the SIG Computational Logic and Natural Language Processing (CL&NLP) (a joint initiative of Compulog Net and Compulog Americas) Permanent Member of the Organizing Committee for Logic Programming Conferences (this position honours the Founders of the field) Member, NSERC's Computing and Information Sciences Grant Selection Committee (1991-1994) Reviewer for NSERC's Strategic Grant Program, 1994 Board Member, Science for Peace, 1995-97.
A6. SFU Governance
Director, Logic and Functional Programming Group: to date since its inception Strategic Research Committee Member, Comp. Sci. School Chair, Teaching Excellence and Load Rebalancing Committee, Comp. Sci. School, 2006-08
Chair, Gender Issues Committee, Comp. Sci. School, 2004-05, 2007-08.
Chair of the Cognitive Sciences Program at SFU: 1998-99 Chair of the Admissions Committee in the School of Computing Sciences Chair, Scholarships Adjudication Committee, 1999 and 2000, School of Computing Sciences Acting Chair, Graduate Studies (ten days in 00-2) Senate Member SFUFA Director Area Representative, Cognitive Science Coordinating Committee (all ten years) Departamental Contact Person for Academic Women, SFU (all ten years)
A8. International Service, Service to other Universities, to the Community