default search action
Verónica Dahl
Person information
- affiliation: Simon Fraser University, Burnaby, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j26]Verónica Dahl:
Dimensions linguistiques de Prolog : le passé, le futur. Rev. Ouverte Intell. Artif. 5(2-3): 65-93 (2024) - [c66]Laura Andrea Cecchi, Verónica Dahl:
Nourishing girls' passion for Computing Sciences: let's eliminate barriers and build bridges. LAWCC@CLEI 2024: 111-122 - [e10]Joaquín Arias, Damiano Azzolini, Kinjal Basu, Verónica Dahl, Markus Hecher, Francesco Pacenza, Zeynep G. Saribatur, Sarat Chandra Varanasi:
Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024. CEUR Workshop Proceedings 3799, CEUR-WS.org 2024 [contents] - 2023
- [c65]Verónica Dahl, Gemma Bel-Enguix, Velina Tirado, J. Emilio Miralles:
Grammar Induction for Under-Resourced Languages: The Case of Ch'ol. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 113-132 - [p7]Laura Andrea Cecchi
, Jorge Pablo Rodríguez
Logic Programming at Elementary School: Why, What and How Should We Teach Logic Programming to Children? Prolog: The Next 50 Years 2023: 131-143 - [p6]Verónica Dahl
Introducing Prolog in Language-Informed Ways. Prolog: The Next 50 Years 2023: 154-167 - [e9]David Scott Warren
Prolog: The Next 50 Years. Lecture Notes in Computer Science 13900, Springer 2023, ISBN 978-3-031-35253-9 [contents] - 2022
- [j25]Philipp Körner
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22(6): 776-858 (2022) - [c64]Verónica Dahl
Doughnut Computing in City Planning for Achieving Human and Planetary Rights. IWINAC (1) 2022: 562-572 - [e8]Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle:
Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022. EPTCS 364, 2022 [contents] - [i4]Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto:
50 Years of Prolog and Beyond. CoRR abs/2201.10816 (2022) - 2021
- [e7]Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. EPTCS 345, 2021 [contents]
2010 – 2019
- 2018
- [j24]Verónica Dahl, Sergio Tessaris, Mariano De Sousa Bispo:
Parsing as semantically guided constraint solving: the role of ontologies. Ann. Math. Artif. Intell. 82(1-3): 161-185 (2018) - [p5]Henning Christiansen
Natural language processing with (tabled and constraint) logic programming. Declarative Logic Programming 2018: 477-511 - [i3]Emilia Gómez, Carlos Castillo, Vicky Charisi, Verónica Dahl, Gustavo Deco, Blagoj Delipetrev, Nicole Dewandre, Miguel Ángel González Ballester, Fabien Gouyon, José Hernández-Orallo, Perfecto Herrera, Anders Jonsson, Ansgar Koene, Martha A. Larson, Ramón López de Mántaras, Bertin Martens, Marius Miron, Rubén Moreno-Bote, Nuria Oliver, Antonio Puertas Gallardo
Assessing the impact of machine intelligence on human behaviour: an interdisciplinary endeavour. CoRR abs/1806.03192 (2018) - 2016
- [c63]Ife Adebara, Verónica Dahl:
Grammar Induction as Automated Transformation between Constraint Solving Models of Language. KnowProS@IJCAI 2016 - 2015
- [c62]Ife Adebara, Verónica Dahl, Sergio Tessaris:
Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies. ICAART (1) 2015: 292-297 - [c61]Ife Adebara, Verónica Dahl, Sergio Tessaris:
Parsing with Partially Known Grammar. ICAART (Revised Selected Papers) 2015: 334-346 - [c60]Verónica Dahl, Sergio Tessaris, Thom W. Frühwirth:
Imperfect Querying through Womb Grammars plus Ontologies. JOWO@IJCAI 2015 - [c59]Ife Adebara, Verónica Dahl:
Domes as a Prodigal Shape in Synthesis-Enhanced Parsers. SHAPES 2015: 23-33 - [c58]Ife Adebara, Verónica Dahl:
Shape Analysis as an Aid for Grammar Induction. SHAPES 2015: 55-57 - 2014
- [j23]Pedro Barahona
Generation of classification trees from variable weighted features. Nat. Comput. 13(2): 169-177 (2014) - [c57]Leonor Becerra-Bonache, Verónica Dahl, María Dolores Jiménez-López
Womb Grammars as a Bio-inspired Model for Grammar Induction. PAAMS (Special Sessions) 2014: 79-86 - 2013
- [c56]Leonor Becerra-Bonache, Verónica Dahl, J. Emilio Miralles:
On Second Language Tutoring through Womb Grammars. IWANN (1) 2013: 189-197 - 2012
- [c55]Leonor Becerra-Bonache, Verónica Dahl, J. Emilio Miralles:
The Role of Universal Constraints in Language Acquisition. CSLP 2012: 1-13 - [c54]Verónica Dahl, Bradley Coleman, J. Emilio Miralles, Erez Maharshak:
CHR for Social Responsibility. ICLP (Technical Communications) 2012: 370-380 - 2011
- [c53]Evgeny S. Skvortsov, Nima Kaviani, Verónica Dahl:
Chemical Signaling as a Useful Metaphor for Resource Management. IWANN (1) 2011: 449-456 - [c52]Pedro Barahona
Classification Tree Generation Constrained with Variable Weights. IWINAC (1) 2011: 274-283 - [p4]Verónica Dahl, Sara Saghaei, Oliver Schulte:
Deidentification within Unstructured Medical Records. Biology, Computation and Linguistics 2011: 43-54 - [p3]Gemma Bel Enguix
Using Concept Formation for Mining Linguistic and Biological Texts. Biology, Computation and Linguistics 2011: 115-127 - [e6]Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López:
Biology, Computation and Linguistics - New Interdisciplinary Paradigms. Frontiers in Artificial Intelligence and Applications 228, IOS Press 2011, ISBN 978-1-60750-761-1 [contents] - 2010
- [c51]Verónica Dahl:
Towards Language-Competent Web Search. CCIA 2010: 3 - [c50]Verónica Dahl:
Informing Datalog through Language Intelligence - A Personal Perspective. Datalog 2010: 161-180 - [c49]Verónica Dahl, Pedro Barahona, Gemma Bel Enguix, Ludwig Krippahl:
Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes. ICAART (2) 2010: 388-394 - [c48]Verónica Dahl, María Dolores Jiménez-López
Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. PAAMS (Special Sessions and Workshops) 2010: 403-410 - [c47]Verónica Dahl, Diana Cukierman, Gemma Bel-Enguix
Logic programming: teaching strategies for students with no programming background. WCCCE 2010: 2:1-2:5
2000 – 2009
- 2009
- [c46]Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López:
DNA and Natural Languages - Text Mining. KDIR 2009: 140-145 - [c45]Verónica Dahl, Baohua Gu, Erez Maharshak:
A Hyprolog Parsing Methodology for Property Grammars. IWANN (1) 2009: 480-487 - [c44]Verónica Dahl, Erez Maharshak:
DNA Replication as a Model for Computational Linguistics. IWINAC (1) 2009: 346-355 - [c43]Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López:
Mining Linguistic and Molecular Biology Texts through Specialized Concept Formation. NLPCS 2009: 117-121 - [c42]Henning Christiansen
Abductive Logic Grammars. WoLLIC 2009: 170-181 - 2008
- [c41]Baohua Gu, Fred Popowich, Verónica Dahl:
Recognizing Biomedical Named Entities in Chinese Research Abstracts. Canadian AI 2008: 114-125 - 2007
- [e5]Verónica Dahl, Ilkka Niemelä:
Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings. Lecture Notes in Computer Science 4670, Springer 2007, ISBN 978-3-540-74608-9 [contents] - 2006
- [j22]Maryam Bavarian, Verónica Dahl:
Constraint Based Methods for Biological Sequence Analysis. J. Univers. Comput. Sci. 12(11): 1500-1520 (2006) - [c40]Verónica Dahl, Baohua Gu:
Semantic Property Grammars for Knowledge Extraction from Biomedical Text. ICLP 2006: 442-443 - 2005
- [c39]Henning Christiansen
Meaning in Context. CONTEXT 2005: 97-111 - [c38]Henning Christiansen
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. ICLP 2005: 159-173 - 2004
- [c37]Verónica Dahl:
An Abductive Treatment of Long Distance Dependencies in CHR. CSLP 2004: 17-31 - [c36]Dulce Aguilar-Solis, Verónica Dahl:
Coordination Revisited - A Constraint Handling Rule Approach. IBERAMIA 2004: 315-324 - [c35]Verónica Dahl, Philippe Blache:
Implantation de grammaires de propriétés en CHR. JFPLC 2004 - [c34]Henning Christiansen, Verónica Dahl:
Assumptions and Abduction in Prolog. WLPE 2004 - [c33]Verónica Dahl, Kimberly D. Voll:
Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction. NLUCS 2004: 28-36 - [i2]Paul Tarau, Verónica Dahl:
High-Level Networking With Mobile Code And First Order AND-Continuations. CoRR cs.PL/0405088 (2004) - 2003
- [j21]Henning Christiansen, Verónica Dahl:
Logic Grammars for Diagnosis and Repair. Int. J. Artif. Intell. Tools 12(3): 227-248 (2003) - [c32]Verónica Dahl:
Understanding Implicit Language Structures. EPIA 2003: 7 - [e4]Verónica Dahl, Philip Wadler:
Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings. Lecture Notes in Computer Science 2562, Springer 2003, ISBN 3-540-00389-4 [contents] - 2002
- [j20]Stephen Tse, Verónica Dahl:
Learning and using mathematics software the natural way. Appl. Math. Lett. 15(7): 875-879 (2002) - [c31]Verónica Dahl:
On Implicit Meanings. Computational Logic: Logic Programming and Beyond 2002: 506-525 - [c30]Henning Christiansen, Verónica Dahl:
Logic Grammars for Diagnosis and Repair. ICTAI 2002: 307-314 - [c29]Verónica Dahl:
How to Talk to Your Computer so that It Will Listen. PADL 2002: 3-8 - 2001
- [j19]Kimberly D. Voll, Tom P. Yeh, Verónica Dahl:
An Assumptive Logic Programming Methodology for Parsing. Int. J. Artif. Intell. Tools 10(4): 573-588 (2001) - [j18]Paul Tarau, Verónica Dahl:
High-Level Networking with Mobile Code and First Order AND-Continuations. Theory Pract. Log. Program. 1(3): 359-380 (2001) - 2000
- [c28]Kimberly D. Voll, Tom P. Yeh, Verónica Dahl:
An assumptive logic programming methodology for parsing. ICTAI 2000: 11-18 - [e3]John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey:
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6 [contents]
1990 – 1999
- 1999
- [j17]Verónica Dahl, Stephen Rochefort, Marius Scurtescu, Paul Tarau:
A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds. Informatica (Slovenia) 23(4) (1999) - [j16]Paul Tarau, Koenraad De Bosschere, Verónica Dahl, Stephen Rochefort:
LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control. J. Log. Program. 38(3): 331-353 (1999) - [c27]Verónica Dahl:
From Speech to Knowledge. SCIE 1999: 49-75 - [p2]Verónica Dahl:
The Logic of Language. The Logic Programming Paradigm 1999: 429-456 - [p1]Paul Tarau, Verónica Dahl:
Towards a Logic Programming Infrastructure for Internet Programming. Artificial Intelligence Today 1999: 431-457 - 1998
- [j15]Verónica Dahl, Pablo Accuosto, Stephen Rochefort, Marius Scurtescu:
Assumption Grammars for Knowledge Based Systems. Informatica (Slovenia) 22(4) (1998) - [c26]Paul Tarau, Verónica Dahl:
Code Migration with First Order Continuations. APPIA-GULP-PRODE 1998: 215-226 - [c25]Paul Tarau, Verónica Dahl, Koen De Bosschere:
Towards Logic Programming Based Coordination in Virtual Worlds. HICSS (7) 1998: 236-244 - 1997
- [c24]Paul Tarau, Verónica Dahl, Stephen Rochefort, Koenraad De Bosschere:
LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming. CHI Extended Abstracts 1997: 323-324 - [c23]Verónica Dahl, Paul Tarau, Renwei Li:
Assumption Grammars for Processing Natural Language. ICLP 1997: 256-270 - [c22]Renwei Li, Luís Moniz Pereira, Verónica Dahl:
Refining Action Theories through Abductive Logic Programming. LPKR 1997: 123-138 - [c21]Osma R. Zaine, Andrew Fall, Stephen Rochefort, Verónica Dahl, Paul Tarau:
On-Une Resource Discovery Using Natural Language. RIAO 1997: 336-355 - [c20]Verónica Dahl:
Logic Programming for Processing Natural Language (Abstract). ILPS 1997: 41-42 - [c19]Paul Tarau, Verónica Dahl, Koenraad De Bosschere:
A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. WETICE 1997: 106-112 - 1996
- [j14]James H. Andrews, Verónica Dahl, Fred Popowich:
Characterizing Logic Grammars: A Substructural Logic Approach. J. Log. Program. 26(3): 235-283 (1996) - [c18]Paul Tarau, Verónica Dahl, Koenraad De Bosschere:
Towards Logic Programming Based Coordination in Virtual Worlds. Coordination Technology for Collaborative Applications 1996: 49-62 - [c17]Paul Tarau, Verónica Dahl, Andrew Fall:
Backtrackable State with Linear Affine Implication and Assumption Grammars. ASIAN 1996: 53-63 - [c16]Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau:
A Hypothetical Reasoning-based Framework for NL Processing. ICTAI 1996: 67-70 - 1995
- [j13]Verónica Dahl:
Understanding and Translating Language - Challenges of the 90s. AI Commun. 8(2): 71-77 (1995) - [j12]Yan-Nong Huang, Verónica Dahl, Jiawei Han:
Fact Updates in Logic Databases. Int. J. Softw. Eng. Knowl. Eng. 5(3): 467-491 (1995) - [j11]Verónica Dahl:
Special Issue: Computational Linguistics and Logic Programming. J. Log. Program. 24(1&2): 1-2 (1995) - [c15]Verónica Dahl, Paul Tarau:
Extending Datalog Grammars. NLDB 1995 - [c14]Paul Tarau, Verónica Dahl, Andrew Fall:
Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. ILPS 1995: 642 - [i1]Verónica Dahl, Paul Tarau, Lidia Moreno, Manuel Palomar:
Treating Coordination with Datalog Grammars. CoRR cmp-lg/9505006 (1995) - 1994
- [j10]Verónica Dahl:
The 1993 International Logic Programming Symposium. AI Mag. 15(4): 73 (1994) - [j9]Verónica Dahl:
Natural Language Processing and Logic Programming. J. Log. Program. 19/20: 681-714 (1994) - [c13]Verónica Dahl, Paul Tarau, Yan-Nong Huang:
Datalog Grammars. GULP-PRODE (2) 1994: 268-282 - [c12]Yan-Nong Huang, Verónica Dahl, Jiawei Han:
Incremental Processing of Logic Database Relations. ISMIS 1994: 561-570 - [c11]Paul Tarau, Verónica Dahl:
Logic Programming and Logic Grammars with First-Order Continuations. LOPSTR 1994: 215-230 - 1993
- [j8]Verónica Dahl:
What the Study of Language Can Contribute to AI. AI Commun. 6(2): 92-106 (1993) - 1990
- [j7]Verónica Dahl, Fred Popowich:
Parsing and Generation with Static Discontinuity Grammars. New Gener. Comput. 8(3): 245-274 (1990)
1980 – 1989
- 1989
- [b1]Harvey Abramson, Verónica Dahl:
Logic grammars. Symbolic computation: artificial intelligence, Springer 1989, ISBN 978-0-387-96961-9, pp. I-XIV, 1-234 - [j6]Verónica Dahl:
Discontinuous grammars. Comput. Intell. 5: 161-179 (1989) - 1988
- [c10]Verónica Dahl:
Representing Linguistic Knowledge through Logic Programming. ICLP/SLP 1988: 249-262 - [c9]Verónica Dahl, Pierre Massicotte:
Processing Techniques for Dsicontinuous Grammars. META 1988: 141-156 - [e2]Verónica Dahl, Patrick Saint-Dizier:
Natural Language Understanding and Logic Programming, II, Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987. North-Holland 1988, ISBN 0-444-70408-6 [contents] - 1987
- [c8]Verónica Dahl, Robert Levine, Hideo Miyoshi, Patrick Saint-Dizier, Edward P. Stabler Jr.:
Logic Grammar and Linguistic Theories (Panel Session). Natural Language Understanding and Logic Programming Workshop 1987: 335-345 - 1986
- [j5]Michael C. McCord, Verónica Dahl, Harvey Abramson:
Introduction to Special Issue on Natural Language and Logic Programming. J. Log. Program. 3(4): 277-278 (1986) - 1985
- [e1]Verónica Dahl, Patrick Saint-Dizier:
Natural Language Understanding and Logic Programming, Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984. North-Holland 1985, ISBN 0-444-87714-2 [contents] - 1984
- [c7]Verónica Dahl:
Logic Programming for Constructive Expert Database Systems. Expert Database Workshop 1984: 209-217 - [c6]Verónica Dahl:
More on Gapping Grammars. FGCS 1984: 669-677 - [c5]Verónica Dahl:
On Gapping Grammars. ICLP 1984: 77-88 - [c4]Verónica Dahl:
Hiding Complexity from the casual Writer of Parsers. Natural Language Understanding and Natural Language Understanding Workshop 1984: 1-19 - 1983
- [j4]Verónica Dahl, Michael C. McCord:
Treating Coordination in Logic Grammars. Am. J. Comput. Linguistics 9(2): 69-91 (1983) - [j3]Verónica Dahl:
Logic Programming as a Representation of Knowledge. Computer 16(10): 106-111 (1983) - [c3]Verónica Dahl:
Current Trends in Logic Grammars. Logic Programming Workshop 1983: 578-607 - 1982
- [j2]Verónica Dahl:
On Database Systems Development Through Logic. ACM Trans. Database Syst. 7(1): 102-123 (1982) - 1981
- [j1]Verónica Dahl:
Translating Spanish into Logic through Logic. Am. J. Comput. Linguistics 7(3): 149-164 (1981)
1970 – 1979
- 1979
- [c2]Verónica Dahl:
Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems. IJCAI 1979: 182-187 - [c1]Verónica Dahl:
Logical Design of Deductive Natural Language Consultable Data Bases. VLDB 1979: 24-31
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-22 19:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: