Veronica Dahl

Q: What Schools Are Affiliated With Veronica Dahl

Veronica Dahl is affiliated with the following schools: Simon Fraser University, University of British Columbia, University of Buenos Aires

Veronica Dahl's AcademicInfluence.com Rankings

Veronica Dahl

Computer Science

#2415

World Rank

#2522

Historical Rank

Database

#7411

World Rank

#7681

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Veronica Dahl's Degrees

PhD Computer Science University of British Columbia
Masters Computer Science University of British Columbia
Bachelors Mathematics University of British Columbia

Similar Degrees You Can Earn

Why Is Veronica Dahl Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Verónica Dahl is an Argentine/Canadian computer scientist, who is recognized as one of the 15 founders of the field of logic programming. Early life Dahl attended college at Buenos Aires University, and graduated from there with a degree in computer science in 1974. As the political conflict in Argentina increased, Dahl attended graduate school in France. In 1977, she was the first graduate at the Université d'Aix-Marseille to receive a doctorate in Artificial Intelligence.

(See a Problem?)

Veronica Dahl's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Computational Logic — CL 2000 (2000) (188)
On database systems development through logic (1982) (83)
Meaning in Context (2005) (80)
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction (2005) (72)
On Implicit Meanings (2002) (72)
Treating Coordination in Logic Grammars (1983) (66)
Translating Spanish into Logic through Logic (1981) (61)
Assumption Grammars for Processing Natural Language (1997) (59)
On Gapping Grammars (1984) (43)
Discontinuous grammars 1 , 2 (1989) (34)
Natural language understanding and logic programming (1988) (33)
Backtrackable State with Linear Affine Implication and Assumption Grammars (1996) (30)
Reasoning with taxonomies (1996) (30)
LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control (1999) (27)
Constraint Based Methods for Biological Sequence Analysis (2006) (27)
Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars (1995) (24)
More on Gapping Grammars (1984) (24)
Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction (2016) (22)
Logic Programming as a Representation of Knowledge (1983) (22)
Datalog Grammars for Abductive Syntactic Error Diagnosis and Repair (1997) (20)
High-level networking with mobile code and first order AND-continuations (2001) (19)
Logic grammars for diagnosis and repair (2002) (19)
Assumptions and Abduction in Prolog (2004) (19)
Mobile Threads through First Order Continuations (1998) (19)
Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems (1979) (18)
A logic programming infrastructure for remote execution, mobile code and agents (1997) (14)
Extracting Selected Phrases through Constraint Satisfaction (2005) (14)
Womb Grammars : Constraint Solving for Grammar Induction (2012) (13)
Natural Language Processing and Logic Programming (1994) (12)
Assessing the impact of machine intelligence on human behaviour: an interdisciplinary endeavour (2018) (12)
Abductive Logic Grammars (2009) (11)
A CHRG Analysis of ambiguity in Biological Texts (2007) (11)
On-Une Resource Discovery Using Natural Language (1997) (11)
Logic Programming and Logic Grammars with First-Order Continuations (1994) (11)
Logical Design Of Deductive Natural Language Consultable Data Bases (1979) (11)
Incomplete types for logic databases (1991) (10)
A Coordination Logic for Agent Programming in Virtual Worlds (1996) (9)
Treating Coordination with Datalog Grammars (1995) (9)
Semantic Property Grammars for Knowledge Extraction from Biomedical Text (2006) (8)
Controlling Virtual Worlds Through Extensible Natural Language (1997) (8)
Recognizing Biomedical Named Entities in the Absence of Human Annotated Corpora (2007) (8)
A principled characterization of dislocated phrases: Capturing barriers with Static Discontinuity Grammars (1993) (8)
Extending Datalog Grammars (1995) (7)
An assumptive logic programming methodology for parsing (2000) (7)
Grammar Induction as Automated Transformation between Constraint Solving Models of Language (2016) (7)
On Second Language Tutoring through Womb Grammars (2013) (7)
Concept-Based Retrieval using Controlled Natural Language (1997) (7)
LogiMOO: a multi-user virtual world with agents and natural language programming (1997) (7)
A hypothetical reasoning based framework for NL processing (1996) (7)
Balanced parentheses in NL texts : a useful cue in the syntax/semantics interface (2003) (7)
Driving robots through natural language (1995) (6)
Coordination Revisited - A Constraint Handling Rule Approach (2004) (6)
Towards a Logic Programming Infrastructure for Internet Programming (1999) (6)
Recognizing Biomedical Named Entities in Chinese Research Abstracts (2008) (6)
DNA Replication as a Model for Computational Linguistics (2009) (6)
Hiding Complexity from the casual Writer of Parsers (1984) (5)
On Language Acquisition through Womb Grammars (2012) (5)
Resolving co-speci cation in contexts (1995) (5)
Natural Language Understanding and Logic Programming, Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 (1985) (5)
Representing Linguistic Knowledge through Logic Programming (1988) (5)
Fifty Years of Prolog and Beyond (2022) (5)
Womb Grammars as a Bio-inspired Model for Grammar Induction (2014) (5)
An Abductive Treatment of Long Distance Dependencies in CHR (2004) (5)
Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies (2015) (5)
Towards logic programming based coordination in virtual worlds (1996) (4)
Proceedings of the First International Conference on Computational Logic (2000) (4)
Proceedings of the 23rd international conference on Logic programming (2007) (4)
Shape Analysis as an Aid for Grammar Induction (2015) (4)
DNA and Natural Languages - Text Mining (2009) (4)
A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds (1999) (4)
Describing linguistic knowledge about constraints in user-friendly ways (1991) (4)
Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry (2010) (4)
A parsing system for balanced parentheses in NL texts (2003) (3)
Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes (2016) (3)
The Logic of Language (1999) (3)
The 1993 International Logic Programming Symposium (1994) (3)
From Speech to Knowledge (1999) (3)
Natural language processing with (tabled and constraint) logic programming (2018) (3)
Logic Programming for Constructive Expert Database Systems (1984) (3)
Constraints and Language (2014) (3)
Domes as a Prodigal Shape in Synthesis-Enhanced Parsers (2015) (3)
Assumption Grammars for Knowledge Based Systems (1998) (3)
Learning and using mathematics software the natural way (2002) (3)
Natural Language Understanding (1985) (3)
Logic Programming and Logic Grammars with Binarization and First-order Continuations (1994) (3)
Fact Updates in Logic Databases (1995) (3)
Natural Language Understanding and Logic Programming, II: Proceedings of the 2nd International Workshop, Vancouver, Canada, 17-19 Aug., 1987 (1988) (2)
What the Study of Language Can Contribute to AI (1993) (2)
50 Years of Prolog and Beyond (2022) (2)
Representing Virtual Knowledge Through Logic Programming (1987) (2)
Parsing as semantically guided constraint solving: the role of ontologies (2018) (2)
How to Talk to Your Computer so that It Will Listen (2002) (2)
Interpreting static discontinuity grammars in prolog (1990) (2)
Automatic configuration through constraint based reasoning (1993) (2)
Code Migration with First Order Continuations (1998) (2)
Logic programming for processing natural language (tutorial) (1997) (2)
Current Trends in Logic Grammars (1983) (2)
Parsing with Partially Known Grammar (2015) (1)
Introduction to Special Issue on Natural Language and Logic Programming (1986) (1)
Chemical Signaling as a Useful Metaphor for Resource Management (2011) (1)
Generation of classification trees from variable weighted features (2013) (1)
Informing Datalog through Language Intelligence - A Personal Perspective (2010) (1)
A Hyprolog Parsing Methodology for Property Grammars (2009) (1)
On Failure-Driven Constraint-Based Parsing through CHRG ? (2013) (1)
Refining Action Theories through Abductive Logic Programming (1997) (1)
Parsing with Commitment (1989) (1)
Logic Programming and Languages (1999) (1)
Special Issue: Computational Linguistics and Logic Programming (1995) (1)
Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings (2003) (1)
Characterizing Logic Grammars: A Substructural Logic Approach (1996) (1)
Processing techniques for discontinuous grammars (1989) (1)
Logic programming: teaching strategies for students with no programming background (2010) (1)
A Framework for Virtual Learning Environments (1999) (1)
Natural Language Understanding and Logic Programming, II, Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987 (1988) (1)
Using Concept Formation for Mining Linguistic and Biological Texts (2011) (0)
Proceedings 38th International Conference on Logic Programming (2022) (0)
Introduction and Historic Overview (1989) (0)
Logic Programming for Processing Natural Language (Abstract) (1997) (0)
Core TuLiP logic programming for trust management (2007) (0)
Dealing with Exceptions in Textual Databases (2007) (0)
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021 (2021) (0)
What Are Logic Grammars (1989) (0)
Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (2007) (0)
Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages (2003) (0)
Bottom Up Parsing (1989) (0)
Developing a Logic Grammar for a Formal Application (1989) (0)
Proceedings of the 6th International Workshop on Constraints and Language Processing: Preface (2011) (0)
CHR for Social Responsibility (2012) (0)
ERRATUM: "AN ASSUMPTIVE LOGIC PROGRAMMING METHODOLOGY FOR PARSING" (2002) (0)
Review of Constraint-based grammar formalisms: parsing and type inference for natural and computer languages by Stuart M. Shieber. The MIT Press 1992. (1993) (0)
Logic Grammars: With 40 Illustrations (1990) (0)
An Introduction to Natural Language Processing: the Main Problems (2018) (0)
Mining Linguistic and Molecular Biology Texts through Specialized Concept Formation (2016) (0)
The Role of Universal Constraints in Language Acquisition (2012) (0)
Deidentification within Unstructured Medical Records (2011) (0)
Understanding and Translating Language - Challenges of the 90s (1995) (0)
Classification Tree Generation Constrained with Variable Weights (2011) (0)
Doughnut Computing in City Planning for Achieving Human and Planetary Rights (2022) (0)
Author index (1995) (0)
Definite Clause Translation Grammars and their Applications (1989) (0)
Understanding Implicit Language Structures (2003) (0)
Generation of classification trees from variable weighted features (2013) (0)
Parsing Medical Text into De-identified Databases (2016) (0)
Basic Types of Logic Grammars (1989) (0)
6th International Workshop, CSLP 2011, Constraints and Language Processing, Karlsruhe, Germany, 27 September 2011, Proceedings (2011) (0)
Towards Language-Competent Web Search (2010) (0)
Session details: Constraints (2009) (0)
Processing Techniques for Dsicontinuous Grammars (1988) (0)
Practical Aspects of Declarative Languages (2002) (0)
Incremental Processing of Logic Database Relations (1994) (0)
Choosing Internal Representations for Natural Language (1989) (0)
Logic programming applications in educational environments (2000) (0)
Constraint Solving and Language Processing Organizing Committee Dyalog: a Tabular Logic Programming Based Environment for Nlpéric Lexicalised Configuration Grammars N:m Mapping in Xdg — the Case for Upgrading Groups Syntax, Metonymy, and Intention Extracting Selected Phrases through Constraint Satis (2005) (0)
Proceedings 37th International Conference on Logic Programming (Technical Communications) (2021) (0)
Further Expressive Power—Discontinuous Grammars (1989) (0)
Relation of Logic Grammars to Prolog (1989) (0)
Parsing as semantically guided constraint solving: the role of ontologies (2018) (0)
Logic Grammar and Linguistic Theories (Panel Session) (1987) (0)
Logic Programming and Logic Grammars withBinarization and First-order (1994) (0)
Imperfect Querying through Womb Grammars plus Ontologies (2015) (0)
NATURAL LANGUAGE UNDERSTANDING AND LOGIC PROGRAMMING , IX : PROCEEDINGS OF THE SECOND INTERNATIONAL WORKSHOP (2002) (0)
Proceedings of CSLP-06, the 2006 Workshop on Constraints and Language Processing (2006) (0)
Parsing and generation with Static Discontinuity Grammars (1990) (0)
On-line Resource Discovery Using NaturalLanguageOsmar (1997) (0)
Step-by-Step Development of a Natural Language Analyser (1989) (0)

This paper list is powered by the following services:

Other Resources About Veronica Dahl

What Schools Are Affiliated With Veronica Dahl?

Veronica Dahl is affiliated with the following schools:

Veronica Dahl's Academic­Influence.com Rankings