1.
EXPLANATION OF
MOST SIGNIFICANT RECENT CONTRIBUTIONS
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 http://control.ruc.dk).
They have as well made it into modern versions of Prolog such as BinProlog (http://www.binnetcorp.com/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 [Bs99,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]).
References
[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.
2.
RESEARCH
CONTRIBUTIONS
2.1
ARTICLES IN
REFEREED PUBLICATIONS
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.
50.
Dahl, V.
(2010) An introduction to Natural Language Processing-the Main
Problems. Triangle
1, Sept. 2010: 65-78, ISSN 2013-939X.
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
63. Dahl, V., Saghaei, S., Schulte, O. (2011) Parsing Medical Text into De-identified Databases. In Proc. BILC’11.
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. Bs,
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 Language. Ibidem.
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. (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.
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.
2.2
INVITED
CONTRIBUTIONS (unrefereed)
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. 3,
pp. 3-13 (invited
contribution to
mark my Keynote Speech at the MUMPS Conference).
2.3
MISCELLANEOUS:
TECHNICAL REPORTS, CONTRIBUTIONS IN PREPARATION, THESES
M10. Zahariev,
M.,
Dahl, V. and Levesque, A. (T.R., 2008) Efficient
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
Percussion.
Logic 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.