Verónica Dahl Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Harvey Abramson [10]
2Pablo Accuosto [38]
3Dulce Aguilar-Solis [58]
4James Andrews [28]
5Pedro Barahona [70]
6Maryam Bavarian [62]
7Philippe Blache [57]
8Koen De Bosschere (Koenraad De Bosschere) [30] [32] [37] [40]
9Henning Christiansen [50] [52] [60] [61] [66]
10Gemma Bel Enguix [67] [70]
11Andrew Fall [27] [29] [31] [33]
12Ulrich Furbach [45]
13Baohua Gu [63] [65] [69]
14Jiawei Han [20] [23]
15Yan-Nong Huang [20] [21] [23]
16Maria Dolores Jiménez-López [67]
17Manfred Kerber [45]
18Ludwig Krippahl [70]
19Kung-Kiu Lau [45]
20Robert Levine [11]
21Renwei Li [34] [36]
22John W. Lloyd [45]
23Erez Maharshak [68] [69]
24Pierre Massicotte [12]
25Michael C. McCord [5] [10]
26Hideo Miyoshi [11]
27Lidia Moreno [24]
28Ilkka Niemelä [64]
29Catuscia Palamidessi [45]
30Manuel Palomar [24]
31Luís Moniz Pereira (Luíz Moniz Pereira) [34] [45]
32Fred Popowich [15] [28] [65]
33Stephen Rochefort [29] [33] [37] [38] [40] [41]
34Yehoshua Sagiv [45]
35Patrick Saint-Dizier [11]
36Marius Scurtescu [38] [41]
37Edward P. Stabler (Edward P. Stabler Jr.) [11]
38Peter J. Stuckey [45]
39Paul Tarau [19] [21] [24] [26] [27] [29] [30] [31] [32] [33] [36] [37] [39] [40] [41] [42] [46] [55]
40Stephen Tse [48]
41Kimberly D. Voll [44] [47] [56]
42Philip Wadler [54]
43Tom P. Yeh [44] [47]
44Osma R. Zaine [33]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)