Verónica Dahl

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

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

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: 274-283

Verónica Dahl: Towards Language-Competent Web Search. CCIA 2010: 3

Verónica Dahl: Informing Datalog through Language Intelligence - A Personal Perspective. Datalog 2010: 161-180

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

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: 403-410

Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López: DNA and Natural Languages - Text Mining. KDIR 2009: 140-145

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

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

Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López: Mining Linguistic and Molecular Biology Texts through Specialized Concept Formation. NLPCS 2009: 117-121

Henning Christiansen, Verónica Dahl: Abductive Logic Grammars. WoLLIC 2009: 170-181

Baohua Gu, Fred Popowich, Verónica Dahl: Recognizing Biomedical Named Entities in Chinese Research Abstracts. Canadian Conference on AI 2008: 114-125

Verónica Dahl, Ilkka Niemelä (Eds.): 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

Maryam Bavarian, Verónica Dahl: Constraint Based Methods for Biological Sequence Analysis. J. UCS 12(11): 1500-1520 (2006)

Verónica Dahl, Baohua Gu: Semantic Property Grammars for Knowledge Extraction from Biomedical Text. ICLP 2006: 442-443

Henning Christiansen, Verónica Dahl: Meaning in Context. CONTEXT 2005: 97-111

Henning Christiansen, Verónica Dahl: HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. ICLP 2005: 159-173

Verónica Dahl: An Abductive Treatment of Long Distance Dependencies in CHR. CSLP 2004: 17-31

Dulce Aguilar-Solis, Verónica Dahl: Coordination Revisited - A Constraint Handling Rule Approach. IBERAMIA 2004: 315-324

Verónica Dahl, Philippe Blache: Implantation de grammaires de propriétés en CHR. JFPLC 2004

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

Paul Tarau, Verónica Dahl: High-Level Networking With Mobile Code And First Order AND-Continuations. CoRR cs.PL/0405088 (2004)

Henning Christiansen, Verónica Dahl: Logic Grammars for Diagnosis and Repair. International Journal on Artificial Intelligence Tools 12(3): 227-248 (2003)

Verónica Dahl: Understanding Implicit Language Structures. EPIA 2003: 7

Verónica Dahl, Philip Wadler (Eds.): 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

Stephen Tse, Verónica Dahl: Learning and using mathematics software the natural way. Appl. Math. Lett. 15(7): 875-879 (2002)

Verónica Dahl: On Implicit Meanings. Computational Logic: Logic Programming and Beyond 2002: 506-525

Henning Christiansen, Verónica Dahl: Logic Grammars for Diagnosis and Repair. ICTAI 2002: 307-314

Verónica Dahl: How to Talk to Your Computer so that It Will Listen. PADL 2002: 3-8

Kimberly D. Voll, Tom P. Yeh, Verónica Dahl: An Assumptive Logic Programming Methodology for Parsing. International Journal on Artificial Intelligence Tools 10(4): 573-588 (2001)

Paul Tarau, Verónica Dahl: High-Level Networking with Mobile Code and First Order AND-Continuations. TPLP 1(3): 359-380 (2001)

Kimberly D. Voll, Tom P. Yeh, Verónica Dahl: An assumptive logic programming methodology for parsing. ICTAI 2000: 11-18

John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.): 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

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): 331-353 (1999)

Paul Tarau, Verónica Dahl: Towards a Logic Programming Infrastructure for Internet Programming. Artificial Intelligence Today 1999: 431-457

Verónica Dahl: From Speech to Knowledge. SCIE 1999: 49-75

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

Paul Tarau, Verónica Dahl: Code Migration with First Order Continuations. APPIA-GULP-PRODE 1998: 215-226

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

Verónica Dahl, Paul Tarau, Renwei Li: Assumption Grammars for Processing Natural Language. ICLP 1997: 256-270

Renwei Li, Luís Moniz Pereira, Verónica Dahl: Refining Action Theories through Abductive Logic Programming. LPKR 1997: 123-138

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

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

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

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

Paul Tarau, Verónica Dahl, Koenraad De Bosschere: Towards Logic Programming Based Coordination in Virtual Worlds. Coordination Technology for Collaborative Applications 1996: 49-62

Paul Tarau, Verónica Dahl, Andrew Fall: Backtrackable State with Linear Affine Implication and Assumption Grammars. ASIAN 1996: 53-63

Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau: A Hypothetical Reasoning-based Framework for NL Processing. ICTAI 1996: 67-70

Verónica Dahl: Understanding and Translating Language - Challenges of the 90s. AI Commun. 8(2): 71-77 (1995)

Yan-Nong Huang, Verónica Dahl, Jiawei Han: Fact Updates in Logic Databases. International Journal of Software Engineering and Knowledge Engineering 5(3): 467-491 (1995)

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

Verónica Dahl, Paul Tarau: Extending Datalog Grammars. NLDB 1995: 0-

Paul Tarau, Verónica Dahl, Andrew Fall: Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. ILPS 1995: 642

Verónica Dahl, Paul Tarau, Lidia Moreno, Manuel Palomar: Treating Coordination with Datalog Grammars. CoRR cmp-lg/9505006 (1995)

Verónica Dahl: The 1993 International Logic Programming Symposium. AI Magazine 15(4): 73 (1994)

Verónica Dahl: Natural Language Processing and Logic Programming. J. Log. Program. 19/20: 681-714 (1994)

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

Yan-Nong Huang, Verónica Dahl, Jiawei Han: Incremental Processing of Logic Database Relations. ISMIS 1994: 561-570

Paul Tarau, Verónica Dahl: Logic Programming and Logic Grammars with First-Order Continuations. LOPSTR 1994: 215-230

Verónica Dahl: What the Study of Language Can Contribute to AI. AI Commun. 6(2): 92-106 (1993)

Verónica Dahl, Fred Popowich: Parsing and Generation with Static Discontinuity Grammars. New Generation Comput. 8(3): 245-274 (1990)

Harvey Abramson, Verónica Dahl: Logic grammars. Symbolic computation: artificial intelligence, Springer 1989, isbn 978-0-387-96961-9, pp. I-XIV, 1-234

Verónica Dahl: Discontinuous grammars. Computational Intelligence 5: 161-179 (1989)

Verónica Dahl: Representing Linguistic Knowledge through Logic Programming. ICLP/SLP 1988: 249-262

Verónica Dahl, Pierre Massicotte: Processing Techniques for Dsicontinuous Grammars. META 1988: 141-156

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

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)

Verónica Dahl: Logic Programming for Constructive Expert Database Systems. Expert Database Workshop 1984: 209-217

Verónica Dahl: More on Gapping Grammars. FGCS 1984: 669-677

Verónica Dahl: On Gapping Grammars. ICLP 1984: 77-88

Verónica Dahl: Hiding Complexity from the casual Writer of Parsers. Natural Language Understanding and Natural Language Understanding Workshop 1984: 1-19

Verónica Dahl, Michael C. McCord: Treating Coordination in Logic Grammars. American Journal of Computational Linguistics 9(2): 69-91 (1983)

Verónica Dahl: Logic Programming as a Representation of Knowledge. IEEE Computer 16(10): 106-111 (1983)

Verónica Dahl: On Database Systems Development Through Logic. ACM Trans. Database Syst. 7(1): 102-123 (1982)

Verónica Dahl: Translating Spanish into Logic through Logic. American Journal of Computational Linguistics 7(3): 149-164 (1981)

Verónica Dahl: Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems. IJCAI 1979: 182-187

Verónica Dahl: Logical Design of Deductive Natural Language Consultable Data Bases. VLDB 1979: 24-31