 | 2010 |
|---|
| 70 |       | 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 |
| 2009 |
|---|
| 69 |  | Verónica Dahl,
Baohua Gu,
Erez Maharshak:
A Hyprolog Parsing Methodology for Property Grammars.
IWANN (1) 2009: 480-487 |
| 68 | | Verónica Dahl,
Erez Maharshak:
DNA Replication as a Model for Computational Linguistics.
IWINAC (1) 2009: 346-355 |
| 67 | | Gemma Bel Enguix,
Verónica Dahl,
Maria Dolores Jiménez-López:
DNA and Natural Languages - Text Mining.
KDIR 2009: 140-145 |
| 66 | | Henning Christiansen,
Verónica Dahl:
Abductive Logic Grammars.
WoLLIC 2009: 170-181 |
| 2008 |
|---|
| 65 | | Baohua Gu,
Fred Popowich,
Verónica Dahl:
Recognizing Biomedical Named Entities in Chinese Research Abstracts.
Canadian Conference on AI 2008: 114-125 |
| 2007 |
|---|
| 64 | | Verónica Dahl,
Ilkka Niemelä:
Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
Springer 2007 |
| 2006 |
|---|
| 63 | | Verónica Dahl,
Baohua Gu:
Semantic Property Grammars for Knowledge Extraction from Biomedical Text.
ICLP 2006: 442-443 |
| 62 | | Maryam Bavarian,
Verónica Dahl:
Constraint Based Methods for Biological Sequence Analysis.
J. UCS 12(11): 1500-1520 (2006) |
| 2005 |
|---|
| 61 | | Henning Christiansen,
Verónica Dahl:
Meaning in Context.
CONTEXT 2005: 97-111 |
| 60 | | Henning Christiansen,
Verónica Dahl:
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.
ICLP 2005: 159-173 |
| 2004 |
|---|
| 59 | | Verónica Dahl:
An Abductive Treatment of Long Distance Dependencies in CHR.
CSLP 2004: 17-31 |
| 58 | | Dulce Aguilar-Solis,
Verónica Dahl:
Coordination Revisited - A Constraint Handling Rule Approach.
IBERAMIA 2004: 315-324 |
| 57 | | Verónica Dahl,
Philippe Blache:
Implantation de grammaires de propriétés en CHR.
JFPLC 2004 |
| 56 | | Verónica Dahl,
Kimberly D. Voll:
Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction.
NLUCS 2004: 28-36 |
| 55 | | Paul Tarau,
Verónica Dahl:
High-Level Networking With Mobile Code And First Order AND-Continuations
CoRR cs.PL/0405088: (2004) |
| 2003 |
|---|
| 54 | | Verónica Dahl,
Philip Wadler:
Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
Springer 2003 |
| 53 | | Verónica Dahl:
Understanding Implicit Language Structures.
EPIA 2003: 7 |
| 52 | | Henning Christiansen,
Verónica Dahl:
Logic Grammars for Diagnosis and Repair.
International Journal on Artificial Intelligence Tools 12(3): 227-248 (2003) |
| 2002 |
|---|
| 51 | | Verónica Dahl:
On Implicit Meanings.
Computational Logic: Logic Programming and Beyond 2002: 506-525 |
| 50 | | Henning Christiansen,
Verónica Dahl:
Logic Grammars for Diagnosis and Repair.
ICTAI 2002: 307-314 |
| 49 | | Verónica Dahl:
How to Talk to Your Computer so that It Will Listen.
PADL 2002: 3-8 |
| 48 | | Stephen Tse,
Verónica Dahl:
Learning and using mathematics software the natural way.
Appl. Math. Lett. 15(7): 875-879 (2002) |
| 2001 |
|---|
| 47 | | 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) |
| 46 | | Paul Tarau,
Verónica Dahl:
High-Level Networking with Mobile Code and First Order AND-Continuations.
TPLP 1(3): 359-380 (2001) |
| 2000 |
|---|
| 45 | | John W. Lloyd,
Verónica Dahl,
Ulrich Furbach,
Manfred Kerber,
Kung-Kiu Lau,
Catuscia Palamidessi,
Luís Moniz Pereira,
Yehoshua Sagiv,
Peter J. Stuckey:
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings
Springer 2000 |
| 44 | | Kimberly D. Voll,
Tom P. Yeh,
Verónica Dahl:
An assumptive logic programming methodology for parsing.
ICTAI 2000: 11-18 |
| 1999 |
|---|
| 43 | | Verónica Dahl:
From Speech to Knowledge.
SCIE 1999: 49-75 |
| 42 | | Paul Tarau,
Verónica Dahl:
Towards a Logic Programming Infrastructure for Internet Programming.
Artificial Intelligence Today 1999: 431-457 |
| 41 | | Verónica Dahl,
Stephen Rochefort,
Marius Scurtescu,
Paul Tarau:
A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds.
Informatica (Slovenia) 23(4): (1999) |
| 40 | | 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) |
| 1998 |
|---|
| 39 | | Paul Tarau,
Verónica Dahl:
Code Migration with First Order Continuations.
APPIA-GULP-PRODE 1998: 215-226 |
| 38 | | Verónica Dahl,
Pablo Accuosto,
Stephen Rochefort,
Marius Scurtescu:
Assumption Grammars for Knowledge Based Systems.
Informatica (Slovenia) 22(4): (1998) |
| 1997 |
|---|
| 37 | | 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 |
| 36 | | Verónica Dahl,
Paul Tarau,
Renwei Li:
Assumption Grammars for Processing Natural Language.
ICLP 1997: 256-270 |
| 35 | | Verónica Dahl:
Logic Programming for Processing Natural Language (Abstract).
ILPS 1997: 41-42 |
| 34 | | Renwei Li,
Luís Moniz Pereira,
Verónica Dahl:
Refining Action Theories through Abductive Logic Programming.
LPKR 1997: 123-138 |
| 33 | | Osma R. Zaine,
Andrew Fall,
Stephen Rochefort,
Verónica Dahl,
Paul Tarau:
On-Une Resource Discovery Using Natural Language.
RIAO 1997: 336-356 |
| 32 | | Paul Tarau,
Verónica Dahl,
Koenraad De Bosschere:
A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents.
WETICE 1997: 106-112 |
| 1996 |
|---|
| 31 | | Paul Tarau,
Verónica Dahl,
Andrew Fall:
Backtrackable State with Linear Affine Implication and Assumption Grammars.
ASIAN 1996: 53-63 |
| 30 | | Paul Tarau,
Verónica Dahl,
Koenraad De Bosschere:
Towards Logic Programming Based Coordination in Virtual Worlds.
Coordination Technology for Collaborative Applications 1996: 49-62 |
| 29 | | Verónica Dahl,
Andrew Fall,
Stephen Rochefort,
Paul Tarau:
A Hypothetical Reasoning-based Framework for NL Processing.
ICTAI 1996: 67-70 |
| 28 | | James Andrews,
Verónica Dahl,
Fred Popowich:
Characterizing Logic Grammars: A Substructural Logic Approach.
J. Log. Program. 26(3): 235-283 (1996) |
| 1995 |
|---|
| 27 | | Paul Tarau,
Verónica Dahl,
Andrew Fall:
Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars.
ILPS 1995: 642 |
| 26 | | Verónica Dahl,
Paul Tarau:
Extending Datalog Grammars.
NLDB 1995: 0- |
| 25 | | Verónica Dahl:
Understanding and Translating Language - Challenges of the 90s.
AI Commun. 8(2): 71-77 (1995) |
| 24 | | Verónica Dahl,
Paul Tarau,
Lidia Moreno,
Manuel Palomar:
Treating Coordination with Datalog Grammars
CoRR cmp-lg/9505006: (1995) |
| 23 | | 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) |
| 22 | | Verónica Dahl:
Special Issue: Computational Linguistics and Logic Programming.
J. Log. Program. 24(1&2): 1-2 (1995) |
| 1994 |
|---|
| 21 | | Verónica Dahl,
Paul Tarau,
Yan-Nong Huang:
Datalog Grammars.
GULP-PRODE (2) 1994: 268-282 |
| 20 | | Yan-Nong Huang,
Verónica Dahl,
Jiawei Han:
Incremental Processing of Logic Database Relations.
ISMIS 1994: 561-570 |
| 19 | | Paul Tarau,
Verónica Dahl:
Logic Programming and Logic Grammars with First-Order Continuations.
LOPSTR 1994: 215-230 |
| 18 | | Verónica Dahl:
The 1993 International Logic Programming Symposium.
AI Magazine 15(4): 73 (1994) |
| 17 | | Verónica Dahl:
Natural Language Processing and Logic Programming.
J. Log. Program. 19/20: 681-714 (1994) |
| 1993 |
|---|
| 16 | | Verónica Dahl:
What the Study of Language Can Contribute to AI.
AI Commun. 6(2): 92-106 (1993) |
| 1990 |
|---|
| 15 | | Verónica Dahl,
Fred Popowich:
Parsing and Generation with Static Discontinuity Grammars.
New Generation Comput. 8(3): 245- (1990) |
| 1989 |
|---|
| 14 | | Verónica Dahl:
Discontinuous grammars.
Computational Intelligence 5: 161-179 (1989) |
| 1988 |
|---|
| 13 | | Verónica Dahl:
Representing Linguistic Knowledge through Logic Programming.
ICLP/SLP 1988: 249-262 |
| 12 | | Verónica Dahl,
Pierre Massicotte:
Processing Techniques for Dsicontinuous Grammars.
META 1988: 141-156 |
| 1987 |
|---|
| 11 | | 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 |
| 1986 |
|---|
| 10 | | 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) |
| 1984 |
|---|
| 9 | | Verónica Dahl:
Logic Programming for Constructive Expert Database Systems.
Expert Database Workshop 1984: 209-217 |
| 8 | | Verónica Dahl:
More on Gapping Grammars.
FGCS 1984: 669-677 |
| 7 | | Verónica Dahl:
On Gapping Grammars.
ICLP 1984: 77-88 |
| 6 | | Verónica Dahl:
Hiding Complexity from the casual Writer of Parsers.
Natural Language Understanding and Natural Language Understanding Workshop 1984: 1-19 |
| 1983 |
|---|
| 5 | | Verónica Dahl,
Michael C. McCord:
Treating Coordination in Logic Grammars.
American Journal of Computational Linguistics 9(2): 69-91 (1983) |
| 4 | | Verónica Dahl:
Logic Programming as a Representation of Knowledge.
IEEE Computer 16(10): 106-111 (1983) |
| 1982 |
|---|
| 3 | | Verónica Dahl:
On Database Systems Development Through Logic.
ACM Trans. Database Syst. 7(1): 102-123 (1982) |
| 1981 |
|---|
| 2 | | Verónica Dahl:
Translating Spanish into Logic through Logic.
American Journal of Computational Linguistics 7(3): 149-164 (1981) |
| 1979 |
|---|
| 1 | | Verónica Dahl:
Logical Design of Deductive Natural Language Consultable Data Bases.
VLDB 1979: 24-31 |
