Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems. - Verónica Dahl (IJCAI, 1979)

Logical Design of Deductive Natural Language Consultable Data Bases. - Verónica Dahl (VLDB, 1979)

Translating Spanish into Logic through Logic. - Verónica Dahl (Am. J. Comput. Linguistics, 1981)

On Database Systems Development Through Logic. - Verónica Dahl (ACM Trans. Database Syst., 1982)

Current Trends in Logic Grammars. - Verónica Dahl (Logic Programming Workshop, 1983)

Treating Coordination in Logic Grammars. - Verónica Dahl; Michael C. McCord (Am. J. Comput. Linguistics, 1983)

Logic Programming as a Representation of Knowledge. - Verónica Dahl (Computer, 1983)

Logic Programming for Constructive Expert Database Systems. - Verónica Dahl (Expert Database Workshop, 1984)

More on Gapping Grammars. - Verónica Dahl (FGCS, 1984)

On Gapping Grammars. - Verónica Dahl (ICLP, 1984)

Hiding Complexity from the casual Writer of Parsers. - Verónica Dahl (Natural Language Understanding and Natural Language Understanding Workshop, 1984)

Introduction to Special Issue on Natural Language and Logic Programming. - Michael C. McCord; Verónica Dahl; Harvey Abramson (J. Log. Program., 1986)

Logic Grammar and Linguistic Theories (Panel Session). - Verónica Dahl; Robert Levine; Hideo Miyoshi; Patrick Saint-Dizier; Edward P. Stabler Jr. (Natural Language Understanding and Logic Programming Workshop, 1987)

Representing Linguistic Knowledge through Logic Programming. - Verónica Dahl (ICLP/SLP, 1988)

Processing Techniques for Dsicontinuous Grammars. - Verónica Dahl; Pierre Massicotte (META, 1988)

Logic grammars. - Harvey Abramson; Verónica Dahl (Springer, 1989)

Discontinuous grammars. - Verónica Dahl (Comput. Intell., 1989)

Parsing and Generation with Static Discontinuity Grammars. - Verónica Dahl; Fred Popowich (New Gener. Comput., 1990)

What the Study of Language Can Contribute to AI. - Verónica Dahl (AI Commun., 1993)

Datalog Grammars. - Verónica Dahl; Paul Tarau; Yan-Nong Huang (GULP-PRODE (2), 1994)

Incremental Processing of Logic Database Relations. - Yan-Nong Huang; Verónica Dahl; Jiawei Han 001 (ISMIS, 1994)

Logic Programming and Logic Grammars with First-Order Continuations. - Paul Tarau; Verónica Dahl (LOPSTR, 1994)

The 1993 International Logic Programming Symposium. - Verónica Dahl (AI Mag., 1994)

Natural Language Processing and Logic Programming. - Verónica Dahl (J. Log. Program., 1994)

Extending Datalog Grammars. - Verónica Dahl; Paul Tarau (NLDB, 1995)

Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. - Paul Tarau; Verónica Dahl; Andrew Fall (ILPS, 1995)

Understanding and Translating Language - Challenges of the 90s. - Verónica Dahl (AI Commun., 1995)

Treating Coordination with Datalog Grammars - Verónica Dahl; Paul Tarau; Lidia Moreno; Manuel Palomar (CoRR, 1995)

Fact Updates in Logic Databases. - Yan-Nong Huang; Verónica Dahl; Jiawei Han 001 (Int. J. Softw. Eng. Knowl. Eng., 1995)

Special Issue: Computational Linguistics and Logic Programming. - Verónica Dahl (J. Log. Program., 1995)

Backtrackable State with Linear Affine Implication and Assumption Grammars. - Paul Tarau; Verónica Dahl; Andrew Fall (ASIAN, 1996)

A Hypothetical Reasoning-based Framework for NL Processing. - Verónica Dahl; Andrew Fall; Stephen Rochefort; Paul Tarau (ICTAI, 1996)

Characterizing Logic Grammars: A Substructural Logic Approach. - James H. Andrews; Verónica Dahl; Fred Popowich (J. Log. Program., 1996)

LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming. - Paul Tarau; Verónica Dahl; Stephen Rochefort; Koenraad De Bosschere (CHI Extended Abstracts, 1997)

Assumption Grammars for Processing Natural Language. - Verónica Dahl; Paul Tarau; Renwei Li 001 (ICLP, 1997)

Refining Action Theories through Abductive Logic Programming. - Renwei Li 001; Luís Moniz Pereira; Verónica Dahl (LPKR, 1997)

On-Une Resource Discovery Using Natural Language. - Osma R. Zaine; Andrew Fall; Stephen Rochefort; Verónica Dahl; Paul Tarau (RIAO, 1997)

Logic Programming for Processing Natural Language (Abstract). - Verónica Dahl (ILPS, 1997)

A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. - Paul Tarau; Verónica Dahl; Koenraad De Bosschere (WETICE, 1997)

Code Migration with First Order Continuations. - Paul Tarau; Verónica Dahl (APPIA-GULP-PRODE, 1998)

Towards Logic Programming Based Coordination in Virtual Worlds. - Paul Tarau; Verónica Dahl; Koen De Bosschere (HICSS (7), 1998)

Assumption Grammars for Knowledge Based Systems. - Verónica Dahl; Pablo Accuosto; Stephen Rochefort; Marius Scurtescu (Informatica (Slovenia), 1998)

The Logic of Language. - Verónica Dahl (The Logic Programming Paradigm, 1999)

Towards a Logic Programming Infrastructure for Internet Programming. - Paul Tarau; Verónica Dahl (Artificial Intelligence Today, 1999)

From Speech to Knowledge. - Verónica Dahl (SCIE, 1999)

A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds. - Verónica Dahl; Stephen Rochefort; Marius Scurtescu; Paul Tarau (Informatica (Slovenia), 1999)

LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control. - Paul Tarau; Koenraad De Bosschere; Verónica Dahl; Stephen Rochefort (J. Log. Program., 1999)

An Assumptive Logic Programming Methodology for Parsing. - Kimberly D. Voll; Tom P. Yeh; Verónica Dahl (Int. J. Artif. Intell. Tools, 2001)

High-Level Networking with Mobile Code and First Order AND-Continuations. - Paul Tarau; Verónica Dahl (Theory Pract. Log. Program., 2001)

On Implicit Meanings. - Verónica Dahl (Computational Logic: Logic Programming and Beyond, 2002)

How to Talk to Your Computer so that It Will Listen. - Verónica Dahl (PADL, 2002)

Learning and using mathematics software the natural way. - Stephen Tse; Verónica Dahl (Appl. Math. Lett., 2002)

Understanding Implicit Language Structures. - Verónica Dahl (EPIA, 2003)

Logic Grammars for Diagnosis and Repair. - Henning Christiansen 001; Verónica Dahl (Int. J. Artif. Intell. Tools, 2003)

An Abductive Treatment of Long Distance Dependencies in CHR. - Verónica Dahl (CSLP, 2004)

Coordination Revisited - A Constraint Handling Rule Approach. - Dulce Aguilar-Solis; Verónica Dahl (IBERAMIA, 2004)

Implantation de grammaires de propriétés en CHR. - Verónica Dahl; Philippe Blache (JFPLC, 2004)

Assumptions and Abduction in Prolog. - Henning Christiansen 001; Verónica Dahl (WLPE, 2004)

Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction. - Verónica Dahl; Kimberly D. Voll (NLUCS, 2004)

Meaning in Context. - Henning Christiansen 001; Verónica Dahl (CONTEXT, 2005)

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. - Henning Christiansen 001; Verónica Dahl (ICLP, 2005)

Semantic Property Grammars for Knowledge Extraction from Biomedical Text. - Verónica Dahl; Baohua Gu (ICLP, 2006)

Constraint Based Methods for Biological Sequence Analysis. - Maryam Bavarian; Verónica Dahl (J. Univers. Comput. Sci., 2006)

Recognizing Biomedical Named Entities in Chinese Research Abstracts. - Baohua Gu; Fred Popowich; Verónica Dahl (Canadian AI, 2008)

DNA and Natural Languages - Text Mining. - Gemma Bel Enguix; Verónica Dahl; María Dolores Jiménez-López (KDIR, 2009)

A Hyprolog Parsing Methodology for Property Grammars. - Verónica Dahl; Baohua Gu; Erez Maharshak (IWANN (1), 2009)

DNA Replication as a Model for Computational Linguistics. - Verónica Dahl; Erez Maharshak (IWINAC (1), 2009)

Mining Linguistic and Molecular Biology Texts through Specialized Concept Formation. - Gemma Bel Enguix; Verónica Dahl; María Dolores Jiménez-López (NLPCS, 2009)

Abductive Logic Grammars. - Henning Christiansen 001; Verónica Dahl (WoLLIC, 2009)

Towards Language-Competent Web Search. - Verónica Dahl (CCIA, 2010)

Informing Datalog through Language Intelligence - A Personal Perspective. - Verónica Dahl (Datalog, 2010)

Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes. - Verónica Dahl; Pedro Barahona; Gemma Bel Enguix; Ludwig Krippahl (ICAART (2), 2010)

Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. - Verónica Dahl; María Dolores Jiménez-López; Olivier Perriquet (PAAMS (Special Sessions and Workshops), 2010)

Logic programming: teaching strategies for students with no programming background. - Verónica Dahl; Diana Cukierman; Gemma Bel-Enguix; María Dolores Jiménez-López (WCCCE, 2010)

Deidentification within Unstructured Medical Records. - Verónica Dahl; Sara Saghaei; Oliver Schulte (Biology, Computation and Linguistics, 2011)

Using Concept Formation for Mining Linguistic and Biological Texts. - Gemma Bel Enguix; Verónica Dahl; María Dolores Jiménez-López (Biology, Computation and Linguistics, 2011)

Chemical Signaling as a Useful Metaphor for Resource Management. - Evgeny S. Skvortsov; Nima Kaviani; Verónica Dahl (IWANN (1), 2011)

Classification Tree Generation Constrained with Variable Weights. - Pedro Barahona; Gemma Bel Enguix; Verónica Dahl; María Dolores Jiménez-López; Ludwig Krippahl (IWINAC (1), 2011)

The Role of Universal Constraints in Language Acquisition. - Leonor Becerra-Bonache; Verónica Dahl; J. Emilio Miralles (CSLP, 2012)

CHR for Social Responsibility. - Verónica Dahl; Bradley Coleman; J. Emilio Miralles; Erez Maharshak (ICLP (Technical Communications), 2012)

On Second Language Tutoring through Womb Grammars. - Leonor Becerra-Bonache; Verónica Dahl; J. Emilio Miralles (IWANN (1), 2013)

Womb Grammars as a Bio-inspired Model for Grammar Induction. - Leonor Becerra-Bonache; Verónica Dahl; María Dolores Jiménez-López (PAAMS (Special Sessions), 2014)

Generation of classification trees from variable weighted features. - Pedro Barahona; Gemma Bel Enguix; Verónica Dahl; María Dolores Jiménez-López; Ludwig Krippahl (Nat. Comput., 2014)

Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies. - Ife Adebara; Verónica Dahl; Sergio Tessaris (ICAART (1), 2015)

Parsing with Partially Known Grammar. - Ife Adebara; Verónica Dahl; Sergio Tessaris (ICAART (Revised Selected Papers), 2015)

Imperfect Querying through Womb Grammars plus Ontologies. - Verónica Dahl; Sergio Tessaris; Thom W. Frühwirth (JOWO@IJCAI, 2015)

Domes as a Prodigal Shape in Synthesis-Enhanced Parsers. - Ife Adebara; Verónica Dahl (SHAPES, 2015)

Shape Analysis as an Aid for Grammar Induction. - Ife Adebara; Verónica Dahl (SHAPES, 2015)

Grammar Induction as Automated Transformation between Constraint Solving Models of Language. - Ife Adebara; Verónica Dahl (KnowProS@IJCAI, 2016)

Natural language processing with (tabled and constraint) logic programming. - Henning Christiansen 001; Verónica Dahl (Declarative Logic Programming, 2018)

Parsing as semantically guided constraint solving: the role of ontologies. - Verónica Dahl; Sergio Tessaris; Mariano De Sousa Bispo (Ann. Math. Artif. Intell., 2018)

Assessing the impact of machine intelligence on human behaviour: an interdisciplinary endeavour. - Emilia Gómez; Carlos Castillo 001; 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 001; et al. (CoRR, 2018)

Doughnut Computing in City Planning for Achieving Human and Planetary Rights. - Verónica Dahl; Juan José Moreno-Navarro (IWINAC (1), 2022)

50 Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu; Giovanni Ciatto (CoRR, 2022)

Fifty Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu (Theory Pract. Log. Program., 2022)

Grammar Induction for Under-Resourced Languages: The Case of Ch'ol. - Verónica Dahl; Gemma Bel-Enguix; Velina Tirado; J. Emilio Miralles (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Logic Programming at Elementary School: Why, What and How Should We Teach Logic Programming to Children? - Laura Andrea Cecchi; Jorge Pablo Rodríguez; Verónica Dahl (Prolog: The Next 50 Years, 2023)

Introducing Prolog in Language-Informed Ways. - Verónica Dahl; Laura Andrea Cecchi (Prolog: The Next 50 Years, 2023)

Nourishing girls' passion for Computing Sciences: let's eliminate barriers and build bridges. - Laura Andrea Cecchi; Verónica Dahl (LAWCC@CLEI, 2024)

Dimensions linguistiques de Prolog : le passé, le futur. - Verónica Dahl (Rev. Ouverte Intell. Artif., 2024)