| What Are Logic Grammars? H Abramson, V Dahl, H Abramson, V Dahl Logic Grammars, 5-15, 1989 | 185 | 1989 |
| On database systems development through logic V Dahl ACM Transactions on Database Systems (TODS) 7 (1), 102-123, 1982 | 122 | 1982 |
| Treating coordination in logic grammars V Dahl, MC McCord American Journal of Computational Linguistics 9 (2), 69-91, 1983 | 113 | 1983 |
| On gapping grammars V Dahl, H Abramson University of British Columbia. Department of Computer Science, 1984 | 86 | 1984 |
| HYPROLOG: A new logic programming language with assumptions and abduction H Christiansen, V Dahl International Conference on Logic Programming, 159-173, 2005 | 84 | 2005 |
| Translating spanish into logic through logic V Dahl American journal of computational linguistics 7 (3), 149-164, 1981 | 80 | 1981 |
| Assumption Grammars for Processing Natural Language. V Dahl, P Tarau, R Li ICLP, 256-270, 1997 | 74 | 1997 |
| Fifty years of Prolog and beyond P Körner, M Leuschel, J Barbosa, VS Costa, V Dahl, MV Hermenegildo, ... Theory and Practice of Logic Programming 22 (6), 776-858, 2022 | 54 | 2022 |
| More on gapping grammars V Dahl Simon Fraser University. Computing Science, 1984 | 54 | 1984 |
| Logic programming as a representation of knowledge V Dahl Computer 16 (10), 106-111, 1983 | 49 | 1983 |
| Meaning in context H Christiansen, V Dahl International and Interdisciplinary Conference on Modeling and Using Context …, 2005 | 46 | 2005 |
| Backtrackable state with linear affine implication and assumption grammars P Tarau, V Dahl, A Fall Concurrency and Parallelism, Programming, Networking, and Security: Second …, 1996 | 43 | 1996 |
| Directly executable constraint based grammars V Dahl, P Blache Proc. Journees Francophones de Programmation en Logique avec Contraintes …, 2004 | 41 | 2004 |
| Natural language understanding and logic programming V Dahl, P Saint-Dizier Elsevier Science Pub. Co. Inc., New York, NY, 1985 | 40 | 1985 |
| Discontinuous grammars1,2 V Dahl Computational Intelligence 5 (3), 161-179, 1989 | 37 | 1989 |
| LogiMOO: an extensible multi-user virtual world with natural language control P Tarau, K De Bosschere, V Dahl, S Rochefort The Journal of Logic Programming 38 (3), 331-353, 1999 | 35 | 1999 |
| Datalog grammars for abductive syntactic error diagnosis and repair J Balsa, V Dahl, JGP Lopes Proc. Natural Language Understanding and Logic Programming Workshop, 1995 | 31 | 1995 |
| Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. P Tarau, V Dahl, A Fall ILPS, 642, 1995 | 30 | 1995 |
| A Logic Programming infrastructure for remote execution, mobile code and agents P Tarau, V Dahl, K De Bosschere Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure …, 1997 | 28 | 1997 |
| Quantification in a three-valued logic for natural language question-answering systems V Dahl Proceedings of the 6th international joint conference on Artificial …, 1979 | 28 | 1979 |
