Verónica Dahl

115 papers A* 2B 9C 7Misc 1Journal 30Unranked 50
YearRankTypeTitle / Venue / Authors
2025 — conf
PEG 2.0: Future-Gazing Through a Socio-Linguistic and Historical Lens.
ICLP Workshops
Verónica Dahl
2024 J jnl
Dimensions linguistiques de Prolog : le passé, le futur.
Rev. Ouverte Intell. Artif.
Verónica Dahl
2024 — conf
Nourishing girls' passion for Computing Sciences: let's eliminate barriers and build bridges.
LAWCC@CLEI
Laura Andrea Cecchi, Verónica Dahl
2024 — ed.
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.
ICLP Workshops
Joaquín Arias, Damiano Azzolini, Kinjal Basu, Verónica Dahl, Markus Hecher, Francesco Pacenza, Zeynep G. Saribatur, Sarat Chandra Varanasi
2023 — conf
Grammar Induction for Under-Resourced Languages: The Case of Ch'ol.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Verónica Dahl, Gemma Bel-Enguix, Velina Tirado, J. Emilio Miralles
2023 — ch.
Introducing Prolog in Language-Informed Ways.
Prolog: The Next 50 Years
Verónica Dahl, Laura Andrea Cecchi
2023 — ch.
Logic Programming at Elementary School: Why, What and How Should We Teach Logic Programming to Children?
Prolog: The Next 50 Years
Laura Andrea Cecchi, Jorge Pablo Rodríguez, Verónica Dahl
2023 — book
Prolog: The Next 50 Years
David Scott Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert A. Kowalski, Francesca Rossi
2022 J jnl
50 Years of Prolog and Beyond.
CoRR
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
2022 — conf
Doughnut Computing in City Planning for Achieving Human and Planetary Rights.
IWINAC (1)
Verónica Dahl, Juan José Moreno-Navarro
2022 J jnl
Fifty Years of Prolog and Beyond.
Theory Pract. Log. Program.
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
2022 — ed.
Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022.
ICLP Technical Communications / Doctoral Consortium
Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle
2021 — ed.
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021.
ICLP Technical Communications
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou
2018 J jnl
Assessing the impact of machine intelligence on human behaviour: an interdisciplinary endeavour.
CoRR
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
2018 — ch.
Natural language processing with (tabled and constraint) logic programming.
Declarative Logic Programming
Henning Christiansen, Verónica Dahl
2018 J jnl
Parsing as semantically guided constraint solving: the role of ontologies.
Ann. Math. Artif. Intell.
Verónica Dahl, Sergio Tessaris, Mariano De Sousa Bispo
2016 — conf
Grammar Induction as Automated Transformation between Constraint Solving Models of Language.
KnowProS@IJCAI
Ife Adebara, Verónica Dahl
2015 — conf
Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies.
ICAART (1)
Ife Adebara, Verónica Dahl, Sergio Tessaris
2015 — conf
Domes as a Prodigal Shape in Synthesis-Enhanced Parsers.
SHAPES
Ife Adebara, Verónica Dahl
2015 — conf
Imperfect Querying through Womb Grammars plus Ontologies.
JOWO@IJCAI
Verónica Dahl, Sergio Tessaris, Thom W. Frühwirth
2015 — conf
Parsing with Partially Known Grammar.
ICAART (Revised Selected Papers)
Ife Adebara, Verónica Dahl, Sergio Tessaris
2015 — conf
Shape Analysis as an Aid for Grammar Induction.
SHAPES
Ife Adebara, Verónica Dahl
2014 J jnl
Generation of classification trees from variable weighted features.
Nat. Comput.
Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López, Ludwig Krippahl
2014 — conf
Womb Grammars as a Bio-inspired Model for Grammar Induction.
PAAMS (Special Sessions)
Leonor Becerra-Bonache, Verónica Dahl, María Dolores Jiménez-López
2013 — conf
On Second Language Tutoring through Womb Grammars.
IWANN (1)
Leonor Becerra-Bonache, Verónica Dahl, J. Emilio Miralles
2012 — conf
CHR for Social Responsibility.
ICLP (Technical Communications)
Verónica Dahl, Bradley Coleman, J. Emilio Miralles, Erez Maharshak
2012 — conf
The Role of Universal Constraints in Language Acquisition.
CSLP
Leonor Becerra-Bonache, Verónica Dahl, J. Emilio Miralles
2011 — book
Biology, Computation and Linguistics - New Interdisciplinary Paradigms
Biology, Computation and Linguistics
Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López
2011 — conf
Chemical Signaling as a Useful Metaphor for Resource Management.
IWANN (1)
Evgeny S. Skvortsov, Nima Kaviani, Verónica Dahl
2011 — conf
Classification Tree Generation Constrained with Variable Weights.
IWINAC (1)
Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López, Ludwig Krippahl
2011 — ch.
Deidentification within Unstructured Medical Records.
Biology, Computation and Linguistics
Verónica Dahl, Sara Saghaei, Oliver Schulte
2011 — ch.
Using Concept Formation for Mining Linguistic and Biological Texts.
Biology, Computation and Linguistics
Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López
2010 — conf
Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes.
ICAART (2)
Verónica Dahl, Pedro Barahona, Gemma Bel Enguix, Ludwig Krippahl
2010 — conf
Informing Datalog through Language Intelligence - A Personal Perspective.
Datalog
Verónica Dahl
2010 — conf
Logic programming: teaching strategies for students with no programming background.
WCCCE
Verónica Dahl, Diana Cukierman, Gemma Bel-Enguix, María Dolores Jiménez-López
2010 — conf
Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry.
PAAMS (Special Sessions and Workshops)
Verónica Dahl, María Dolores Jiménez-López, Olivier Perriquet
2010 — conf
Towards Language-Competent Web Search.
CCIA
Verónica Dahl
2009 — conf
A Hyprolog Parsing Methodology for Property Grammars.
IWANN (1)
Verónica Dahl, Baohua Gu, Erez Maharshak
2009 C conf
Abductive Logic Grammars.
WoLLIC
Henning Christiansen, Verónica Dahl
2009 — conf
DNA Replication as a Model for Computational Linguistics.
IWINAC (1)
Verónica Dahl, Erez Maharshak
2009 — conf
DNA and Natural Languages - Text Mining.
KDIR
Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López
2009 — conf
Mining Linguistic and Molecular Biology Texts through Specialized Concept Formation.
NLPCS
Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López
2008 — conf
Recognizing Biomedical Named Entities in Chinese Research Abstracts.
Canadian AI
Baohua Gu, Fred Popowich, Verónica Dahl
2007 B ed.
Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
ICLP
Verónica Dahl, Ilkka Niemelä
2006 J jnl
Constraint Based Methods for Biological Sequence Analysis.
J. Univers. Comput. Sci.
Maryam Bavarian, Verónica Dahl
2006 B conf
Semantic Property Grammars for Knowledge Extraction from Biomedical Text.
ICLP
Verónica Dahl, Baohua Gu
2005 B conf
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.
ICLP
Henning Christiansen, Verónica Dahl
2005 — conf
Meaning in Context.
CONTEXT
Henning Christiansen, Verónica Dahl
2004 — conf
An Abductive Treatment of Long Distance Dependencies in CHR.
CSLP
Verónica Dahl
2004 — conf
Assumptions and Abduction in Prolog.
WLPE
Henning Christiansen, Verónica Dahl
2004 — conf
Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction.
NLUCS
Verónica Dahl, Kimberly D. Voll
2004 — conf
Coordination Revisited - A Constraint Handling Rule Approach.
IBERAMIA
Dulce Aguilar-Solis, Verónica Dahl
2004 J jnl
High-Level Networking With Mobile Code And First Order AND-Continuations
CoRR
Paul Tarau, Verónica Dahl
2004 — conf
Implantation de grammaires de propriétés en CHR.
JFPLC
Verónica Dahl, Philippe Blache
2003 J jnl
Logic Grammars for Diagnosis and Repair.
Int. J. Artif. Intell. Tools
Henning Christiansen, Verónica Dahl
2003 C ed.
Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
PADL
Verónica Dahl, Philip Wadler
2003 Misc conf
Understanding Implicit Language Structures.
EPIA
Verónica Dahl
2002 C conf
How to Talk to Your Computer so that It Will Listen.
PADL
Verónica Dahl
2002 J jnl
Learning and using mathematics software the natural way.
Appl. Math. Lett.
Stephen Tse, Verónica Dahl
2002 B conf
Logic Grammars for Diagnosis and Repair.
ICTAI
Henning Christiansen, Verónica Dahl
2002 — conf
On Implicit Meanings.
Computational Logic: Logic Programming and Beyond
Verónica Dahl
2001 J jnl
An Assumptive Logic Programming Methodology for Parsing.
Int. J. Artif. Intell. Tools
Kimberly D. Voll, Tom P. Yeh, Verónica Dahl
2001 J jnl
High-Level Networking with Mobile Code and First Order AND-Continuations.
Theory Pract. Log. Program.
Paul Tarau, Verónica Dahl
2000 B conf
An assumptive logic programming methodology for parsing.
ICTAI
Kimberly D. Voll, Tom P. Yeh, Verónica Dahl
2000 — ed.
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings
CL
John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
1999 J jnl
A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds.
Informatica (Slovenia)
Verónica Dahl, Stephen Rochefort, Marius Scurtescu, Paul Tarau
1999 — conf
From Speech to Knowledge.
SCIE
Verónica Dahl
1999 J jnl
LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control.
J. Log. Program.
Paul Tarau, Koenraad De Bosschere, Verónica Dahl, Stephen Rochefort
1999 — ch.
The Logic of Language.
The Logic Programming Paradigm
Verónica Dahl
1999 — ch.
Towards a Logic Programming Infrastructure for Internet Programming.
Artificial Intelligence Today
Paul Tarau, Verónica Dahl
1998 J jnl
Assumption Grammars for Knowledge Based Systems.
Informatica (Slovenia)
Verónica Dahl, Pablo Accuosto, Stephen Rochefort, Marius Scurtescu
1998 — conf
Code Migration with First Order Continuations.
APPIA-GULP-PRODE
Paul Tarau, Verónica Dahl
1998 — conf
Towards Logic Programming Based Coordination in Virtual Worlds.
HICSS (7)
Paul Tarau, Verónica Dahl, Koen De Bosschere
1997 C conf
A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents.
WETICE
Paul Tarau, Verónica Dahl, Koenraad De Bosschere
1997 B conf
Assumption Grammars for Processing Natural Language.
ICLP
Verónica Dahl, Paul Tarau, Renwei Li
1997 — conf
LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming.
CHI Extended Abstracts
Paul Tarau, Verónica Dahl, Stephen Rochefort, Koenraad De Bosschere
1997 — conf
Logic Programming for Processing Natural Language (Abstract).
ILPS
Verónica Dahl
1997 — conf
On-Une Resource Discovery Using Natural Language.
RIAO
Osma R. Zaine, Andrew Fall, Stephen Rochefort, Verónica Dahl, Paul Tarau
1997 — conf
Refining Action Theories through Abductive Logic Programming.
LPKR
Renwei Li, Luís Moniz Pereira, Verónica Dahl
1996 B conf
A Hypothetical Reasoning-based Framework for NL Processing.
ICTAI
Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau
1996 — conf
Backtrackable State with Linear Affine Implication and Assumption Grammars.
ASIAN
Paul Tarau, Verónica Dahl, Andrew Fall
1996 J jnl
Characterizing Logic Grammars: A Substructural Logic Approach.
J. Log. Program.
James H. Andrews, Verónica Dahl, Fred Popowich
1996 — conf
Towards Logic Programming Based Coordination in Virtual Worlds.
Coordination Technology for Collaborative Applications
Paul Tarau, Verónica Dahl, Koenraad De Bosschere
1995 — conf
Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars.
ILPS
Paul Tarau, Verónica Dahl, Andrew Fall
1995 C conf
Extending Datalog Grammars.
NLDB
Verónica Dahl, Paul Tarau
1995 J jnl
Fact Updates in Logic Databases.
Int. J. Softw. Eng. Knowl. Eng.
Yan-Nong Huang, Verónica Dahl, Jiawei Han
1995 J jnl
Special Issue: Computational Linguistics and Logic Programming.
J. Log. Program.
Verónica Dahl
1995 J jnl
Treating Coordination with Datalog Grammars
CoRR
Verónica Dahl, Paul Tarau, Lidia Moreno, Manuel Palomar
1995 J jnl
Understanding and Translating Language - Challenges of the 90s.
AI Commun.
Verónica Dahl
1994 — conf
Datalog Grammars.
GULP-PRODE (2)
Verónica Dahl, Paul Tarau, Yan-Nong Huang
1994 C conf
Incremental Processing of Logic Database Relations.
ISMIS
Yan-Nong Huang, Verónica Dahl, Jiawei Han
1994 C conf
Logic Programming and Logic Grammars with First-Order Continuations.
LOPSTR
Paul Tarau, Verónica Dahl
1994 J jnl
Natural Language Processing and Logic Programming.
J. Log. Program.
Verónica Dahl
1994 J jnl
The 1993 International Logic Programming Symposium.
AI Mag.
Verónica Dahl
1993 J jnl
What the Study of Language Can Contribute to AI.
AI Commun.
Verónica Dahl
1990 J jnl
Parsing and Generation with Static Discontinuity Grammars.
New Gener. Comput.
Verónica Dahl, Fred Popowich
1989 J jnl
Discontinuous grammars.
Comput. Intell.
Verónica Dahl
1989 — book
Logic grammars.
Harvey Abramson, Verónica Dahl
1988 — ed.
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.
NLULP
Verónica Dahl, Patrick Saint-Dizier
1988 — conf
Processing Techniques for Dsicontinuous Grammars.
META
Verónica Dahl, Pierre Massicotte
1988 — conf
Representing Linguistic Knowledge through Logic Programming.
ICLP/SLP
Verónica Dahl
1987 — conf
Logic Grammar and Linguistic Theories (Panel Session).
Natural Language Understanding and Logic Programming Workshop
Verónica Dahl, Robert Levine, Hideo Miyoshi, Patrick Saint-Dizier, Edward P. Stabler Jr.
1986 J jnl
Introduction to Special Issue on Natural Language and Logic Programming.
J. Log. Program.
Michael C. McCord, Verónica Dahl, Harvey Abramson
1985 — ed.
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.
NLULP
Verónica Dahl, Patrick Saint-Dizier
1984 — conf
Hiding Complexity from the casual Writer of Parsers.
Natural Language Understanding and Natural Language Understanding Workshop
Verónica Dahl
1984 — conf
Logic Programming for Constructive Expert Database Systems.
Expert Database Workshop
Verónica Dahl
1984 — conf
More on Gapping Grammars.
FGCS
Verónica Dahl
1984 B conf
On Gapping Grammars.
ICLP
Verónica Dahl
1983 B conf
Current Trends in Logic Grammars.
Logic Programming Workshop
Verónica Dahl
1983 J jnl
Logic Programming as a Representation of Knowledge.
Computer
Verónica Dahl
1983 J jnl
Treating Coordination in Logic Grammars.
Am. J. Comput. Linguistics
Verónica Dahl, Michael C. McCord
1982 J jnl
On Database Systems Development Through Logic.
ACM Trans. Database Syst.
Verónica Dahl
1981 J jnl
Translating Spanish into Logic through Logic.
Am. J. Comput. Linguistics
Verónica Dahl
1979 A* conf
Logical Design of Deductive Natural Language Consultable Data Bases.
VLDB
Verónica Dahl
1979 A* conf
Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems.
IJCAI
Verónica Dahl