Verónica Dahl

According to our database, Verónica Dahl authored at least 100 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Dimensions linguistiques de Prolog : le passé, le futur.

Verónica Dahl

Rev. Ouverte Intell. Artif., 2024

Nourishing girls' passion for Computing Sciences: let's eliminate barriers and build bridges.

Laura Andrea Cecchi, Verónica Dahl

Proceedings of the XVI Congress of Latin American Women in Computing 2024 (LAWCC 2024) co-located with L Latin American Computer Conference (CLEI 2024), 2024

2023

Introducing Prolog in Language-Informed Ways.

Verónica Dahl, Laura Andrea Cecchi

Proceedings of the Prolog: The Next 50 Years, 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

Proceedings of the Prolog: The Next 50 Years, 2023

Grammar Induction for Under-Resourced Languages: The Case of Ch'ol.

Verónica Dahl, Gemma Bel-Enguix, Velina Tirado, J. Emilio Miralles

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

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, Jan Wielemaker, Daniel Diaz, Salvador Abreu

Theory Pract. Log. Program., 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, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto

CoRR, 2022

Doughnut Computing in City Planning for Achieving Human and Planetary Rights.

Verónica Dahl, Juan José Moreno-Navarro

Proceedings of the Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence, 2022

2018

Assessing the impact of machine intelligence on human behaviour: an interdisciplinary endeavour.

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, Heike Schweitzer, Núria Sebastián, Xavier Serra, Joan Serrà, Songül Tolan, Karina Vold

CoRR, 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

Natural language processing with (tabled and constraint) logic programming.

Henning Christiansen, Verónica Dahl

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2016

Grammar Induction as Automated Transformation between Constraint Solving Models of Language.

Ife Adebara, Verónica Dahl

Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

2015

Shape Analysis as an Aid for Grammar Induction.

Ife Adebara, Verónica Dahl

Proceedings of the Third Interdisciplinary Workshop SHAPES 3.0, 2015

Domes as a Prodigal Shape in Synthesis-Enhanced Parsers.

Ife Adebara, Verónica Dahl

Proceedings of the Third Interdisciplinary Workshop SHAPES 3.0, 2015

Imperfect Querying through Womb Grammars plus Ontologies.

Verónica Dahl, Sergio Tessaris, Thom W. Frühwirth

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Parsing with Partially Known Grammar.

Ife Adebara, Verónica Dahl, Sergio Tessaris

Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies.

Ife Adebara, Verónica Dahl, Sergio Tessaris

Proceedings of the ICAART 2015, 2015

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

Womb Grammars as a Bio-inspired Model for Grammar Induction.

Leonor Becerra-Bonache, Verónica Dahl, María Dolores Jiménez-López

Proceedings of the Trends in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection, 2014

2013

On Second Language Tutoring through Womb Grammars.

Leonor Becerra-Bonache, Verónica Dahl, J. Emilio Miralles

Proceedings of the Advances in Computational Intelligence, 2013

2012

CHR for Social Responsibility.

Verónica Dahl, Bradley Coleman, J. Emilio Miralles, Erez Maharshak

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

The Role of Universal Constraints in Language Acquisition.

Leonor Becerra-Bonache, Verónica Dahl, J. Emilio Miralles

Proceedings of the Constraint Solving and Language Processing - 7th International Workshop, 2012

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

Proceedings of the Foundations on Natural and Artificial Computation, 2011

Chemical Signaling as a Useful Metaphor for Resource Management.

Evgeny S. Skvortsov, Nima Kaviani, Verónica Dahl

Proceedings of the Advances in Computational Intelligence, 2011

Using Concept Formation for Mining Linguistic and Biological Texts.

Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López

Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

Deidentification within Unstructured Medical Records.

Verónica Dahl, Sara Saghaei, Oliver Schulte

Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

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

Proceedings of the 15th Western Canadian Conference on Computing Education, 2010

Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry.

Verónica Dahl, María Dolores Jiménez-López, Olivier Perriquet

Proceedings of the Trends in Practical Applications of Agents and Multiagent Systems, 2010

Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes.

Verónica Dahl, Pedro Barahona, Gemma Bel Enguix, Ludwig Krippahl

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, 2010

Informing Datalog through Language Intelligence - A Personal Perspective.

Verónica Dahl

Proceedings of the Datalog Reloaded - First International Workshop, 2010

Towards Language-Competent Web Search.

Verónica Dahl

Proceedings of the Artificial Intelligence Research and Development, 2010

2009

Abductive Logic Grammars.

Henning Christiansen, Verónica Dahl

Proceedings of the Logic, 2009

Mining Linguistic and Molecular Biology Texts through Specialized Concept Formation.

Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López

Proceedings of the Natural Language Processing and Cognitive Science, 2009

DNA Replication as a Model for Computational Linguistics.

Verónica Dahl, Erez Maharshak

Proceedings of the Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira.s Scientific Legacy, 2009

A Hyprolog Parsing Methodology for Property Grammars.

Verónica Dahl, Baohua Gu, Erez Maharshak

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

DNA and Natural Languages - Text Mining.

Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López

Proceedings of the KDIR 2009 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Funchal, 2009

2008

Recognizing Biomedical Named Entities in Chinese Research Abstracts.

Baohua Gu, Fred Popowich, Verónica Dahl

Proceedings of the Advances in Artificial Intelligence , 2008

2006

Constraint Based Methods for Biological Sequence Analysis.

Maryam Bavarian, Verónica Dahl

J. Univers. Comput. Sci., 2006

Semantic Property Grammars for Knowledge Extraction from Biomedical Text.

Verónica Dahl, Baohua Gu

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.

Henning Christiansen, Verónica Dahl

Proceedings of the Logic Programming, 21st International Conference, 2005

Meaning in Context.

Henning Christiansen, Verónica Dahl

Proceedings of the Modeling and Using Context, 2005

2004

Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction.

Verónica Dahl, Kimberly D. Voll

Proceedings of the Natural Language Understanding and Cognitive Science, 2004

Assumptions and Abduction in Prolog.

Henning Christiansen, Verónica Dahl

Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

Implantation de grammaires de propriétés en CHR.

Verónica Dahl, Philippe Blache

Proceedings of the Programmation en logique avec contraintes, 2004

Coordination Revisited - A Constraint Handling Rule Approach.

Dulce Aguilar-Solis, Verónica Dahl

Proceedings of the Advances in Artificial Intelligence, 2004

An Abductive Treatment of Long Distance Dependencies in CHR.

Verónica Dahl

Proceedings of the Constraint Solving and Language Processing, 2004

2003

Logic Grammars for Diagnosis and Repair.

Henning Christiansen, Verónica Dahl

Int. J. Artif. Intell. Tools, 2003

Understanding Implicit Language Structures.

Verónica Dahl

Proceedings of the Progress in Artificial Intelligence, 2003

2002

Learning and using mathematics software the natural way.

Stephen Tse, Verónica Dahl

Appl. Math. Lett., 2002

How to Talk to Your Computer so that It Will Listen.

Verónica Dahl

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

On Implicit Meanings.

Verónica Dahl

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

High-Level Networking with Mobile Code and First Order AND-Continuations.

Paul Tarau, Verónica Dahl

Theory Pract. Log. Program., 2001

An Assumptive Logic Programming Methodology for Parsing.

Kimberly D. Voll, Tom P. Yeh, Verónica Dahl

Int. J. Artif. Intell. Tools, 2001

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

A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds.

Verónica Dahl, Stephen Rochefort, Marius Scurtescu, Paul Tarau

Informatica (Slovenia), 1999

From Speech to Knowledge.

Verónica Dahl

Proceedings of the Information Extraction: Towards Scalable, Adaptable Systems, 1999

Towards a Logic Programming Infrastructure for Internet Programming.

Paul Tarau, Verónica Dahl

Proceedings of the Artificial Intelligence Today: Recent Trends and Developments, 1999

The Logic of Language.

Verónica Dahl

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Assumption Grammars for Knowledge Based Systems.

Verónica Dahl, Pablo Accuosto, Stephen Rochefort, Marius Scurtescu

Informatica (Slovenia), 1998

Towards Logic Programming Based Coordination in Virtual Worlds.

Paul Tarau, Verónica Dahl, Koen De Bosschere

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Code Migration with First Order Continuations.

Paul Tarau, Verónica Dahl

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents.

Paul Tarau, Verónica Dahl, Koenraad De Bosschere

Proceedings of the 6th Workshop on Enabling Technologies (WET-ICE '97), 1997

Logic Programming for Processing Natural Language (Abstract).

Verónica Dahl

Proceedings of the Logic Programming, 1997

On-Une Resource Discovery Using Natural Language.

Osma R. Zaine, Andrew Fall, Stephen Rochefort, Verónica Dahl, Paul Tarau

Proceedings of the Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications), 1997

Refining Action Theories through Abductive Logic Programming.

Renwei Li, Luís Moniz Pereira, Verónica Dahl

Proceedings of the Logic Programming and Knowledge Representation, 1997

Assumption Grammars for Processing Natural Language.

Verónica Dahl, Paul Tarau, Renwei Li

Proceedings of the Logic Programming, 1997

LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming.

Paul Tarau, Verónica Dahl, Stephen Rochefort, Koenraad De Bosschere

Proceedings of the Human Factors in Computing Systems, 1997

1996

Characterizing Logic Grammars: A Substructural Logic Approach.

James H. Andrews, Verónica Dahl, Fred Popowich

J. Log. Program., 1996

A Hypothetical Reasoning-based Framework for NL Processing.

Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau

Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

Backtrackable State with Linear Affine Implication and Assumption Grammars.

Paul Tarau, Verónica Dahl, Andrew Fall

Proceedings of the Concurrency and Parallelism, 1996

1995

Special Issue: Computational Linguistics and Logic Programming.

Verónica Dahl

J. Log. Program., 1995

Fact Updates in Logic Databases.

Yan-Nong Huang, Verónica Dahl, Jiawei Han

Int. J. Softw. Eng. Knowl. Eng., 1995

Treating Coordination with Datalog Grammars

Verónica Dahl, Paul Tarau, Lidia Moreno, Manuel Palomar

CoRR, 1995

Understanding and Translating Language - Challenges of the 90s.

Verónica Dahl

AI Commun., 1995

Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars.

Paul Tarau, Verónica Dahl, Andrew Fall

Proceedings of the Logic Programming, 1995

Extending Datalog Grammars.

Verónica Dahl, Paul Tarau

Proceedings of the First International Workshop on Applications of Natural Language to Data Bases, 1995

1994

Natural Language Processing and Logic Programming.

Verónica Dahl

J. Log. Program., 1994

The 1993 International Logic Programming Symposium.

Verónica Dahl

AI Mag., 1994

Logic Programming and Logic Grammars with First-Order Continuations.

Paul Tarau, Verónica Dahl

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Incremental Processing of Logic Database Relations.

Yan-Nong Huang, Verónica Dahl, Jiawei Han

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Datalog Grammars.

Verónica Dahl, Paul Tarau, Yan-Nong Huang

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

What the Study of Language Can Contribute to AI.

Verónica Dahl

AI Commun., 1993

1990

Parsing and Generation with Static Discontinuity Grammars.

Verónica Dahl, Fred Popowich

New Gener. Comput., 1990

1989

Discontinuous grammars.

Verónica Dahl

Comput. Intell., 1989

Logic grammars.

Harvey Abramson, Verónica Dahl

Symbolic computation: artificial intelligence, Springer, ISBN: 3540969616, 1989

1988

Processing Techniques for Dsicontinuous Grammars.

Verónica Dahl, Pierre Massicotte

Proceedings of the Meta-Programming in Logic Programming, 1988

Representing Linguistic Knowledge through Logic Programming.

Verónica Dahl

Proceedings of the Logic Programming, 1988

1987

Logic Grammar and Linguistic Theories (Panel Session).

Verónica Dahl, Robert Levine, Hideo Miyoshi, Patrick Saint-Dizier, Edward P. Stabler Jr.

Proceedings of the Natural Language Understanding and Logic Programming, 1987

1986

Introduction to Special Issue on Natural Language and Logic Programming.

Michael C. McCord, Verónica Dahl, Harvey Abramson

J. Log. Program., 1986

1984

Hiding Complexity from the casual Writer of Parsers.

Verónica Dahl

Proceedings of the Natural Language Understanding and Logic Programming, 1984

On Gapping Grammars.

Verónica Dahl

Proceedings of the Second International Logic Programming Conference, 1984

More on Gapping Grammars.

Verónica Dahl

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

Logic Programming for Constructive Expert Database Systems.

Verónica Dahl

Proceedings of the Expert Database Systems, 1984

1983

Logic Programming as a Representation of Knowledge.

Verónica Dahl

Computer, 1983

Treating Coordination in Logic Grammars.

Verónica Dahl, Michael C. McCord

Am. J. Comput. Linguistics, 1983

Current Trends in Logic Grammars.

Verónica Dahl

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982

On Database Systems Development Through Logic.

Verónica Dahl

ACM Trans. Database Syst., 1982

1981

Translating Spanish into Logic through Logic.

Verónica Dahl

Am. J. Comput. Linguistics, 1981

1979

Logical Design of Deductive Natural Language Consultable Data Bases.

Verónica Dahl

Proceedings of the Fifth International Conference on Very Large Data Bases, 1979

Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems.

Verónica Dahl

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979