Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Verónica Dahl
Observed names:
Dahl, Ver\'onica,
Dahl, Veronica,
Dahl, Verónica,
Dahl, Véronica,
V. DAHL,
V. Dahl,
VERONICA DAHL,
VERÓNICA DAHL,
Veronica Dahl
show all 9
Observed institutions:
Centre National de la Recherche Scientifique,
Simon Fraser University,
Universität Ulm,
Aix-Marseille Université,
Universidad de Buenos Aires,
Laboratoire Parole et Langage,
Universitat Rovira i Virgili
show all 7
ORCID:
0000-0002-1159-1374
Observed ORCID:
0000-0002-1159-1374
OpenAlex ID:
A5045576591
Logic Grammars
1989
·
Harvey Abramson
, Verónica Dahl
·
73
On database systems development through logic
1982
·
Veronica Dahl
·
ACM Transactions on Database Systems
·
73
PDF
The 1993 International Logic Programming Symposium
1994
·
Verónica Dahl
·
AI Magazine
·
57
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
2005
·
Henning Christiansen
, Veronica Dahl
·
Lecture notes in computer science
·
54
Treating coordination in logic grammars
1983
·
Verónica Dahl
, Michael C. McCord
·
48
Translating Spanish into logic through logic
1981
·
Verónica Dahl
·
47
Logic Grammars
1989
·
Harvey Abramson
, Veronica Dahl
·
Springer eBooks
·
44
Assumption Grammars for Processing Natural Language
1997
·
Veronica Dahl
, Paul Tarau
, et al.
·
The MIT Press eBooks
·
43
Fifty Years of Prolog and Beyond
2022
·
PHILIPP KÖRNER
, MICHAEL LEUSCHEL
, et al.
·
Theory and Practice of Logic Programming
·
40
Proceedings of the 23rd international conference on Logic programming
2007
·
Verónica Dahl
, Ilkka Niemelä
·
35
On Gapping Grammars
1984
·
Harvey Abramson
, Verónica Dahl
·
35
Natural language processing and logic programming
1994
·
Veronica Dahl
·
The Journal of Logic Programming
·
29
PDF
Meaning in Context
2005
·
Henning Christiansen
, Veronica Dahl
·
Lecture notes in computer science
·
23
LogiMOO: An extensible multi-user virtual world with natural language control
1999
·
Paul Tarau
, Koen De Bosschere
, et al.
·
The Journal of Logic Programming
·
21
PDF
More on Gapping Grammars.
1984
·
Verónica Dahl
·
Future Generation Computer Systems
·
21
Constraints and Language
2014
·
Blache, Philippe
, Christiansen, Henning
, et al.
·
HAL (Le Centre pour la Communication Scientifique Directe)
·
20
Constraint Based Methods for Biological Sequence Analysis
2020
·
Maryam Bavarian
, Veronica Dahl
·
19
Reasoning with taxonomies
1996
·
Verónica Dahl
, Stewart Andrew Fall
·
19
Discontinuous grammars1,2
1989
·
Verónica Dahl
·
Computational Intelligence
·
19
Backtrackable state with linear affine implication and Assumption Grammars
1996
·
Paul Tarau
, Veronica Dahl
, et al.
·
Lecture notes in computer science
·
18
Assumptions and Abduction in Prolog
2004
·
Henning Christiansen
, Verónica Dahl
·
17
High-level networking with mobile code and first order AND-continuations
2001
·
PAUL TARAU
, VERONICA DAHL
·
Theory and Practice of Logic Programming
·
17
PDF
Quantification in a three-valued logic for natural language question-answering systems
1979
·
Verónica Dahl
·
International Joint Conference on Artificial Intelligence
·
17
Efficient algorithms for the discovery of DNA oligonucleotide barcodes from sequence databases
2009
·
M. ZAHARIEV
, V. DAHL
, et al.
·
Molecular Ecology Resources
·
16
PDF
A logic programming infrastructure for remote execution, mobile code and agents
2002
·
P. Tarau
, V. Dahl
, et al.
·
15
Show more works
View as search
Works count:
170
Citation count:
1,198
H-index:
19
I10-index:
30
Year
Topic
Type
