Verónica Dahl - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Classification Tree Generation Constrained with Variable WeightsPedro Barahona, Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López, Ludwig Krippahl. iwinac 2011: 274-283 [doi]

Chemical Signaling as a Useful Metaphor for Resource ManagementEvgeny Skvortsov, Nima Kaviani, Verónica Dahl. iwann 2011: 449-456 [doi]

2010

Towards Language-Competent Web SearchVerónica Dahl. ccia 2010: 3 [doi]

Poetic RNA: Adapting RNA Design Methods to the Analysis of PoetryVerónica Dahl, Maria Dolores Jiménez-López, Olivier Perriquet. paams 2010: 403-410 [doi]

2009

2008

Recognizing Biomedical Named Entities in Chinese Research AbstractsBaohua Gu, Fred Popowich, Verónica Dahl. ai 2008: 114-125 [doi]

2007

Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, ProceedingsVerónica Dahl, Ilkka Niemelä, editors, Volume 4670 of Lecture Notes in Computer Science, Springer, 2007.

2006

Constraint Based Methods for Biological Sequence AnalysisMaryam Bavarian, Verónica Dahl. jucs, 12(11):1500-1520, 2006. [doi]

Semantic Property Grammars for Knowledge Extraction from Biomedical TextVerónica Dahl, Baohua Gu. ICLP 2006: 442-443 [doi]

2005

Meaning in ContextHenning Christiansen, Verónica Dahl. context 2005: 97-111 [doi]

HYPROLOG: A New Logic Programming Language with Assumptions and AbductionHenning Christiansen, Verónica Dahl. ICLP 2005: 159-173 [doi]

2004

Coordination Revisited - A Constraint Handling Rule ApproachDulce Aguilar-Solis, Verónica Dahl. sbia 2004: 315-324 [doi]

An Abductive Treatment of Long Distance Dependencies in CHRVerónica Dahl. iscslp 2005: 17-31 [doi]

Implantation de grammaires de propriétés en CHRVerónica Dahl, Philippe Blache. jfplc 2004:

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

2003

Logic Grammars for Diagnosis and RepairHenning Christiansen, Verónica Dahl. ijait, 12(3):227-248, 2003. [doi]

Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, ProceedingsVerónica Dahl, Philip Wadler, editors, Volume 2562 of Lecture Notes in Computer Science, Springer, 2003.

Understanding Implicit Language StructuresVerónica Dahl. epia 2003: 7 [doi]

2002

Logic Grammars for Diagnosis and RepairHenning Christiansen, Verónica Dahl. ictai 2002: 307-314 [doi]

On Implicit MeaningsVerónica Dahl. BIRTHDAY 2002: 506-525 [doi]

How to Talk to Your Computer so that It Will ListenVerónica Dahl. padl 2002: 3-8 [doi]

Learning and using mathematics software the natural wayStephen Tse, Verónica Dahl. appml, 15(7):875-879, 2002. [doi]

2001

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

An Assumptive Logic Programming Methodology for ParsingKimberly D. Voll, Tom P. Yeh, Verónica Dahl. ijait, 10(4):573-588, 2001.

2000

Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, ProceedingsJohn W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey, editors, Volume 1861 of Lecture Notes in Computer Science, Springer, 2000.

An assumptive logic programming methodology for parsingKimberly D. Voll, Tom P. Yeh, Verónica Dahl. ictai 2000: 11-18 [doi]

1999

1998

Assumption Grammars for Knowledge Based SystemsVerónica Dahl, Pablo Accuosto, Stephen Rochefort, Marius Scurtescu. informaticaSI, 22(4), 1998.

Code Migration with First Order ContinuationsPaul Tarau, Verónica Dahl. agp 1998: 215-226

1997

1996

1995

1994

1993

What the Study of Language Can Contribute to AIVerónica Dahl. aicom, 6(2):92-106, 1993.

1990

Parsing and Generation with Static Discontinuity GrammarsVerónica Dahl, Fred Popowich. ngc, 8(3):245, 1990.

1989

Logic grammarsHarvey Abramson, Verónica Dahl. Symbolic computation: artificial intelligence, Springer, 1989.

Discontinuous grammarsVerónica Dahl. ci, 5:161-179, 1989.

1988

Representing Linguistic Knowledge through Logic ProgrammingVerónica Dahl. ICLP 1988: 249-262

Processing Techniques for Dsicontinuous GrammarsVerónica Dahl, Pierre Massicotte. meta 1988: 141-156

1987

Logic Grammar and Linguistic Theories (Panel Session)Verónica Dahl, Robert Levine, Hideo Miyoshi, Patrick Saint-Dizier, Edward P. Stabler Jr.. nlulp 1987: 335-345

1986

Introduction to Special Issue on Natural Language and Logic ProgrammingMichael C. McCord, Verónica Dahl, Harvey Abramson. jlp, 3(4):277-278, 1986.

1984

Logic Programming for Constructive Expert Database SystemsVerónica Dahl. treds 1984: 209-217

Hiding Complexity from the casual Writer of ParsersVerónica Dahl. nlulp 1984: 1-19

More on Gapping GrammarsVerónica Dahl. fgcs 1984: 669-677

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

1983

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

Treating Coordination in Logic GrammarsVerónica Dahl, Michael C. McCord. coling, 9(2):69-91, 1983.

1982

On Database Systems Development Through LogicVerónica Dahl. tods, 7(1):102-123, 1982. [doi]

1981

Translating Spanish into Logic through LogicVerónica Dahl. coling, 7(3):149-164, 1981.

1979

Logical Design of Deductive Natural Language Consultable Data BasesVerónica Dahl. VLDB 1979: 24-31 [doi]