Travelled to:
1 × Belgium
1 × Brazil
1 × Hungary
1 × Italy
1 × Portugal
1 × Spain
1 × Sweden
4 × USA
Collaborated with:
∅ P.Tarau B.Gu H.Christiansen G.B.Enguix M.D.Jiménez-López R.Li A.Fall B.Coleman J.E.Miralles E.Maharshak
Talks about:
logic (6) languag (5) grammar (5) program (4) natur (4) assumpt (3) knowledg (2) process (2) continu (2) text (2)
Person: Verónica Dahl
DBLP: Dahl:Ver=oacute=nica
Facilitated 3 volumes:
Contributed to:
Wrote 12 papers:
- ICLP-2012-DahlCMM #social
- CHR for Social Responsibility (VD, BC, JEM, EM), pp. 370–380.
- KDIR-2009-EnguixDJ #mining #natural language
- DNA and Natural Languages — Text Mining (GBE, VD, MDJL), pp. 140–145.
- ICLP-2006-DahlG #semantics
- Semantic Property Grammars for Knowledge Extraction from Biomedical Text (VD, BG), pp. 442–443.
- ICLP-2005-ChristiansenD #abduction #logic programming #named #programming language #prolog
- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction (HC, VD), pp. 159–173.
- PADL-2002-Dahl #how
- How to Talk to Your Computer so that It Will Listen (VD), pp. 3–8.
- ICLP-1997-DahlTL #natural language
- Assumption Grammars for Processing Natural Language (VD, PT, RL), pp. 256–270.
- ILPS-1997-Dahl #logic programming #natural language
- Logic Programming for Processing Natural Language (VD), pp. 41–42.
- ILPS-1995-TarauDF #backtracking #continuation #linear
- Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars (PT, VD, AF), p. 642.
- LOPSTR-1994-TarauD #continuation #first-order #logic programming
- Logic Programming and Logic Grammars with First-Order Continuations (PT, VD), pp. 215–230.
- JICSCP-1988-Dahl88 #logic programming #representation
- Representing Linguistic Knowledge through Logic Programming (VD), pp. 249–262.
- ILPC-1984-Dahl84 #on the #semiparsing
- On Gapping Grammars (VD), pp. 77–88.
- VLDB-1979-Dahl #database #deduction #design #logic #natural language
- Logical Design of Deductive Natural Language Consultable Data Bases (VD), pp. 24–31.