Verónica Dahl

Publication Activity (10 Years)

Years Active: 1979-2023
Publications (10 Years): 7

Top Topics

Human Behaviour

Visual Languages

Grammar Induction

Classification Trees

Top Venues

Ann. Math. Artif. Intell.

Publications

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)
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 (2022)
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
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22 (6) (2022)
Verónica Dahl, Juan José Moreno-Navarro
Doughnut Computing in City Planning for Achieving Human and Planetary Rights. IWINAC (1) (2022)
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) (2018)
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
Assessing the impact of machine intelligence on human behaviour: an interdisciplinary endeavour. CoRR (2018)
Ife Adebara, Verónica Dahl
Grammar Induction as Automated Transformation between Constraint Solving Models of Language. KnowProS@IJCAI (2016)
Ife Adebara, Verónica Dahl, Sergio Tessaris
Parsing with Partially Known Grammar. ICAART (Revised Selected Papers) (2015)
Ife Adebara, Verónica Dahl
Shape Analysis as an Aid for Grammar Induction. SHAPES (2015)
Ife Adebara, Verónica Dahl, Sergio Tessaris
Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies. ICAART (1) (2015)
Verónica Dahl, Sergio Tessaris, Thom W. Frühwirth
Imperfect Querying through Womb Grammars plus Ontologies. JOWO@IJCAI (2015)
Ife Adebara, Verónica Dahl
Domes as a Prodigal Shape in Synthesis-Enhanced Parsers. SHAPES (2015)
Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López, Ludwig Krippahl
Generation of classification trees from variable weighted features. Nat. Comput. 13 (2) (2014)
Leonor Becerra-Bonache, Verónica Dahl, Maria Dolores Jiménez-López
Womb Grammars as a Bio-inspired Model for Grammar Induction. PAAMS (Special Sessions) (2014)
Leonor Becerra-Bonache, Verónica Dahl, J. Emilio Miralles
On Second Language Tutoring through Womb Grammars. IWANN (1) (2013)
Verónica Dahl, Bradley Coleman, J. Emilio Miralles, Erez Maharshak
CHR for Social Responsibility. ICLP (Technical Communications) (2012)
Leonor Becerra-Bonache, Verónica Dahl, J. Emilio Miralles
The Role of Universal Constraints in Language Acquisition. CSLP (2012)
Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López, Ludwig Krippahl
Classification Tree Generation Constrained with Variable Weights. IWINAC (1) (2011)
Evgeny S. Skvortsov, Nima Kaviani, Verónica Dahl
Chemical Signaling as a Useful Metaphor for Resource Management. IWANN (1) (2011)
Verónica Dahl, Diana Cukierman, Gemma Bel-Enguix, Maria Dolores Jiménez-López
Logic programming: teaching strategies for students with no programming background. WCCCE (2010)
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)
Verónica Dahl
Towards Language-Competent Web Search. CCIA (2010)
Verónica Dahl, Maria Dolores Jiménez-López, Olivier Perriquet
Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. PAAMS (Special Sessions and Workshops) (2010)
Verónica Dahl
Informing Datalog through Language Intelligence - A Personal Perspective. Datalog (2010)
Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López
Mining Linguistic and Molecular Biology Texts through Specialized Concept Formation. NLPCS (2009)
Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López
DNA and Natural Languages - Text Mining. KDIR (2009)
Verónica Dahl, Erez Maharshak
DNA Replication as a Model for Computational Linguistics. IWINAC (1) (2009)
Henning Christiansen, Verónica Dahl
Abductive Logic Grammars. WoLLIC (2009)
Verónica Dahl, Baohua Gu, Erez Maharshak
A Hyprolog Parsing Methodology for Property Grammars. IWANN (1) (2009)
Baohua Gu, Fred Popowich, Verónica Dahl
Recognizing Biomedical Named Entities in Chinese Research Abstracts. Canadian Conference on AI (2008)
Verónica Dahl, Baohua Gu
Semantic Property Grammars for Knowledge Extraction from Biomedical Text. ICLP (2006)
Maryam Bavarian, Verónica Dahl
Constraint Based Methods for Biological Sequence Analysis. J. Univers. Comput. Sci. 12 (11) (2006)
Henning Christiansen, Verónica Dahl
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. ICLP (2005)
Henning Christiansen, Verónica Dahl
Meaning in Context. CONTEXT (2005)
Dulce Aguilar-Solis, Verónica Dahl
Coordination Revisited - A Constraint Handling Rule Approach. IBERAMIA (2004)
Verónica Dahl, Philippe Blache
Implantation de grammaires de propriétés en CHR. JFPLC (2004)
Paul Tarau, Verónica Dahl
High-Level Networking With Mobile Code And First Order AND-Continuations CoRR (2004)
Verónica Dahl
An Abductive Treatment of Long Distance Dependencies in CHR. CSLP (2004)
Verónica Dahl, Kimberly D. Voll
Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction. NLUCS (2004)
Henning Christiansen, Verónica Dahl
Assumptions and Abduction in Prolog. WLPE (2004)
Verónica Dahl
Understanding Implicit Language Structures. EPIA (2003)
Henning Christiansen, Verónica Dahl
Logic Grammars for Diagnosis and Repair. Int. J. Artif. Intell. Tools 12 (3) (2003)
Verónica Dahl
On Implicit Meanings. Computational Logic: Logic Programming and Beyond (2002)
Stephen Tse, Verónica Dahl
Learning and using mathematics software the natural way. Appl. Math. Lett. 15 (7) (2002)
Henning Christiansen, Verónica Dahl
Logic Grammars for Diagnosis and Repair. ICTAI (2002)
Verónica Dahl
How to Talk to Your Computer so that It Will Listen. PADL (2002)
Paul Tarau, Verónica Dahl
High-Level Networking with Mobile Code and First Order AND-Continuations. Theory Pract. Log. Program. 1 (3) (2001)
Kimberly D. Voll, Tom P. Yeh, Verónica Dahl
An Assumptive Logic Programming Methodology for Parsing. Int. J. Artif. Intell. Tools 10 (4) (2001)
Kimberly D. Voll, Tom P. Yeh, Verónica Dahl
An assumptive logic programming methodology for parsing. ICTAI (2000)
Verónica Dahl
From Speech to Knowledge. SCIE (1999)
Verónica Dahl, Stephen Rochefort, Marius Scurtescu, Paul Tarau
A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds. Informatica (Slovenia) 23 (4) (1999)
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) (1999)
Paul Tarau, Verónica Dahl, Koen De Bosschere
Towards Logic Programming Based Coordination in Virtual Worlds. HICSS (7) (1998)
Paul Tarau, Verónica Dahl
Code Migration with First Order Continuations. APPIA-GULP-PRODE (1998)
Verónica Dahl, Pablo Accuosto, Stephen Rochefort, Marius Scurtescu
Assumption Grammars for Knowledge Based Systems. Informatica (Slovenia) 22 (4) (1998)
Verónica Dahl
Logic Programming for Processing Natural Language (Abstract). ILPS (1997)
Renwei Li, Luís Moniz Pereira, Verónica Dahl
Refining Action Theories through Abductive Logic Programming. LPKR (1997)
Osma R. Zaine, Andrew Fall, Stephen Rochefort, Verónica Dahl, Paul Tarau
On-Une Resource Discovery Using Natural Language. RIAO (1997)
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)
Verónica Dahl, Paul Tarau, Renwei Li
Assumption Grammars for Processing Natural Language. ICLP (1997)
Paul Tarau, Verónica Dahl, Koenraad De Bosschere
A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. WETICE (1997)
Paul Tarau, Verónica Dahl, Andrew Fall
Backtrackable State with Linear Affine Implication and Assumption Grammars. ASIAN (1996)
Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau
A Hypothetical Reasoning-based Framework for NL Processing. ICTAI (1996)
James H. Andrews, Verónica Dahl, Fred Popowich
Characterizing Logic Grammars: A Substructural Logic Approach. J. Log. Program. 26 (3) (1996)
Paul Tarau, Verónica Dahl, Koenraad De Bosschere
Towards Logic Programming Based Coordination in Virtual Worlds. Coordination Technology for Collaborative Applications (1996)
Verónica Dahl
Understanding and Translating Language - Challenges of the 90s. AI Commun. 8 (2) (1995)
Verónica Dahl
Special Issue: Computational Linguistics and Logic Programming. J. Log. Program. 24 (1&2) (1995)
Paul Tarau, Verónica Dahl, Andrew Fall
Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. ILPS (1995)
Verónica Dahl, Paul Tarau, Lidia Moreno, Manuel Palomar
Treating Coordination with Datalog Grammars CoRR (1995)
Yan-Nong Huang, Verónica Dahl, Jiawei Han
Fact Updates in Logic Databases. Int. J. Softw. Eng. Knowl. Eng. 5 (3) (1995)
Verónica Dahl, Paul Tarau
Extending Datalog Grammars. NLDB (1995)
Verónica Dahl
Natural Language Processing and Logic Programming. J. Log. Program. (1994)
Verónica Dahl, Paul Tarau, Yan-Nong Huang
Datalog Grammars. GULP-PRODE (2) (1994)
Yan-Nong Huang, Verónica Dahl, Jiawei Han
Incremental Processing of Logic Database Relations. ISMIS (1994)
Paul Tarau, Verónica Dahl
Logic Programming and Logic Grammars with First-Order Continuations. LOPSTR (1994)
Verónica Dahl
The 1993 International Logic Programming Symposium. AI Mag. 15 (4) (1994)
Verónica Dahl
What the Study of Language Can Contribute to AI. AI Commun. 6 (2) (1993)
Verónica Dahl, Fred Popowich
Parsing and Generation with Static Discontinuity Grammars. New Gener. Comput. 8 (3) (1990)
Verónica Dahl
Discontinuous grammars. Comput. Intell. 5 (1989)
Verónica Dahl
Representing Linguistic Knowledge through Logic Programming. ICLP/SLP (1988)
Verónica Dahl, Pierre Massicotte
Processing Techniques for Dsicontinuous Grammars. META (1988)
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)
Michael C. McCord, Verónica Dahl, Harvey Abramson
Introduction to Special Issue on Natural Language and Logic Programming. J. Log. Program. 3 (4) (1986)
Verónica Dahl
Hiding Complexity from the casual Writer of Parsers. Natural Language Understanding and Natural Language Understanding Workshop (1984)
Verónica Dahl
More on Gapping Grammars. FGCS (1984)
Verónica Dahl
Logic Programming for Constructive Expert Database Systems. Expert Database Workshop (1984)
Verónica Dahl
On Gapping Grammars. ICLP (1984)
Verónica Dahl, Michael C. McCord
Treating Coordination in Logic Grammars. Am. J. Comput. Linguistics 9 (2) (1983)
Verónica Dahl
Current Trends in Logic Grammars. Logic Programming Workshop (1983)
Verónica Dahl
Logic Programming as a Representation of Knowledge. Computer 16 (10) (1983)
Verónica Dahl
On Database Systems Development Through Logic. ACM Trans. Database Syst. 7 (1) (1982)
Verónica Dahl
Translating Spanish into Logic through Logic. Am. J. Comput. Linguistics 7 (3) (1981)
Verónica Dahl
Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems. IJCAI (1979)
Verónica Dahl
Logical Design of Deductive Natural Language Consultable Data Bases. VLDB (1979)