Verónica Dahl

	2011
77		Evgeny Skvortsov, Nima Kaviani, Verónica Dahl: Chemical Signaling as a Useful Metaphor for Resource Management. IWANN (1) 2011: 449-456
76		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
	2010
75		Verónica Dahl: Towards Language-Competent Web Search. CCIA 2010: 3
74		Verónica Dahl: Informing Datalog through Language Intelligence - A Personal Perspective. Datalog 2010: 161-180
73		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
72		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
	2009
71		Verónica Dahl, Baohua Gu, Erez Maharshak: A Hyprolog Parsing Methodology for Property Grammars. IWANN (1) 2009: 480-487
70		Verónica Dahl, Erez Maharshak: DNA Replication as a Model for Computational Linguistics. IWINAC (1) 2009: 346-355
69		Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López: DNA and Natural Languages - Text Mining. KDIR 2009: 140-145
68		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
67		Henning Christiansen, Verónica Dahl: Abductive Logic Grammars. WoLLIC 2009: 170-181
	2008
66		Baohua Gu, Fred Popowich, Verónica Dahl: Recognizing Biomedical Named Entities in Chinese Research Abstracts. Canadian Conference on AI 2008: 114-125
	2007
65		Verónica Dahl, Ilkka Niemelä: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings Springer 2007
	2006
64		Verónica Dahl, Baohua Gu: Semantic Property Grammars for Knowledge Extraction from Biomedical Text. ICLP 2006: 442-443
63		Maryam Bavarian, Verónica Dahl: Constraint Based Methods for Biological Sequence Analysis. J. UCS 12(11): 1500-1520 (2006)
	2005
62		Henning Christiansen, Verónica Dahl: Meaning in Context. CONTEXT 2005: 97-111
61		Henning Christiansen, Verónica Dahl: HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. ICLP 2005: 159-173
	2004
60		Verónica Dahl: An Abductive Treatment of Long Distance Dependencies in CHR. CSLP 2004: 17-31
59		Dulce Aguilar-Solis, Verónica Dahl: Coordination Revisited - A Constraint Handling Rule Approach. IBERAMIA 2004: 315-324
58		Verónica Dahl, Philippe Blache: Implantation de grammaires de propriétés en CHR. JFPLC 2004
57		Verónica Dahl, Kimberly D. Voll: Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction. NLUCS 2004: 28-36
56		Paul Tarau, Verónica Dahl: High-Level Networking With Mobile Code And First Order AND-Continuations CoRR cs.PL/0405088: (2004)
	2003
55		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
54		Verónica Dahl: Understanding Implicit Language Structures. EPIA 2003: 7
53		Henning Christiansen, Verónica Dahl: Logic Grammars for Diagnosis and Repair. International Journal on Artificial Intelligence Tools 12(3): 227-248 (2003)
	2002
52		Verónica Dahl: On Implicit Meanings. Computational Logic: Logic Programming and Beyond 2002: 506-525
51		Henning Christiansen, Verónica Dahl: Logic Grammars for Diagnosis and Repair. ICTAI 2002: 307-314
50		Verónica Dahl: How to Talk to Your Computer so that It Will Listen. PADL 2002: 3-8
49		Stephen Tse, Verónica Dahl: Learning and using mathematics software the natural way. Appl. Math. Lett. 15(7): 875-879 (2002)
	2001
48		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)
47		Paul Tarau, Verónica Dahl: High-Level Networking with Mobile Code and First Order AND-Continuations. TPLP 1(3): 359-380 (2001)
	2000
46		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
45		Kimberly D. Voll, Tom P. Yeh, Verónica Dahl: An assumptive logic programming methodology for parsing. ICTAI 2000: 11-18
	1999
44		Verónica Dahl: From Speech to Knowledge. SCIE 1999: 49-75
43		Paul Tarau, Verónica Dahl: Towards a Logic Programming Infrastructure for Internet Programming. Artificial Intelligence Today 1999: 431-457
42		Verónica Dahl, Stephen Rochefort, Marius Scurtescu, Paul Tarau: A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds. Informatica (Slovenia) 23(4): (1999)
41		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
40		Paul Tarau, Verónica Dahl: Code Migration with First Order Continuations. APPIA-GULP-PRODE 1998: 215-226
39		Verónica Dahl, Pablo Accuosto, Stephen Rochefort, Marius Scurtescu: Assumption Grammars for Knowledge Based Systems. Informatica (Slovenia) 22(4): (1998)
	1997
38		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
37		Verónica Dahl, Paul Tarau, Renwei Li: Assumption Grammars for Processing Natural Language. ICLP 1997: 256-270
36		Verónica Dahl: Logic Programming for Processing Natural Language (Abstract). ILPS 1997: 41-42
35		Renwei Li, Luís Moniz Pereira, Verónica Dahl: Refining Action Theories through Abductive Logic Programming. LPKR 1997: 123-138
34		Osma R. Zaine, Andrew Fall, Stephen Rochefort, Verónica Dahl, Paul Tarau: On-Une Resource Discovery Using Natural Language. RIAO 1997: 336-356
33		Paul Tarau, Verónica Dahl, Koenraad De Bosschere: A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. WETICE 1997: 106-112
	1996
32		Paul Tarau, Verónica Dahl, Andrew Fall: Backtrackable State with Linear Affine Implication and Assumption Grammars. ASIAN 1996: 53-63
31		Paul Tarau, Verónica Dahl, Koenraad De Bosschere: Towards Logic Programming Based Coordination in Virtual Worlds. Coordination Technology for Collaborative Applications 1996: 49-62
30		Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau: A Hypothetical Reasoning-based Framework for NL Processing. ICTAI 1996: 67-70
29		James H. Andrews, Verónica Dahl, Fred Popowich: Characterizing Logic Grammars: A Substructural Logic Approach. J. Log. Program. 26(3): 235-283 (1996)
	1995
28		Paul Tarau, Verónica Dahl, Andrew Fall: Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. ILPS 1995: 642
27		Verónica Dahl, Paul Tarau: Extending Datalog Grammars. NLDB 1995: 0-
26		Verónica Dahl: Understanding and Translating Language - Challenges of the 90s. AI Commun. 8(2): 71-77 (1995)
25		Verónica Dahl, Paul Tarau, Lidia Moreno, Manuel Palomar: Treating Coordination with Datalog Grammars CoRR cmp-lg/9505006: (1995)
24		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)
23		Verónica Dahl: Special Issue: Computational Linguistics and Logic Programming. J. Log. Program. 24(1&2): 1-2 (1995)
	1994
22		Verónica Dahl, Paul Tarau, Yan-Nong Huang: Datalog Grammars. GULP-PRODE (2) 1994: 268-282
21		Yan-Nong Huang, Verónica Dahl, Jiawei Han: Incremental Processing of Logic Database Relations. ISMIS 1994: 561-570
20		Paul Tarau, Verónica Dahl: Logic Programming and Logic Grammars with First-Order Continuations. LOPSTR 1994: 215-230
19		Verónica Dahl: The 1993 International Logic Programming Symposium. AI Magazine 15(4): 73 (1994)
18		Verónica Dahl: Natural Language Processing and Logic Programming. J. Log. Program. 19/20: 681-714 (1994)
	1993
17		Verónica Dahl: What the Study of Language Can Contribute to AI. AI Commun. 6(2): 92-106 (1993)
	1990
16		Verónica Dahl, Fred Popowich: Parsing and Generation with Static Discontinuity Grammars. New Generation Comput. 8(3): 245-274 (1990)
	1989
15		Harvey Abramson, Verónica Dahl: Logic grammars. Springer 1989: I-XIV, 1-234
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

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page