What Are Logic Grammars? H Abramson, V Dahl Logic Grammars, 5-15, 1989 | 168 | 1989 |

On database systems development through logic V Dahl ACM Transactions on Database Systems (TODS) 7 (1), 102-123, 1982 | 107 | 1982 |

Treating coordination in logic grammars V Dahl, MC McCord American Journal of Computational Linguistics 9 (2), 69-91, 1983 | 99 | 1983 |

Translating Spanish into logic through logic V Dahl American journal of computational linguistics 7 (3), 149-164, 1981 | 79 | 1981 |

On gapping grammars V Dahl, H Abramson University of British Columbia. Department of Computer Science, 1984 | 76 | 1984 |

HYPROLOG: A new logic programming language with assumptions and abduction H Christiansen, V Dahl International Conference on Logic Programming, 159-173, 2005 | 75 | 2005 |

Assumption Grammars for Processing Natural Language. V Dahl, P Tarau, R Li ICLP, 256-270, 1997 | 68 | 1997 |

More on gapping grammars V Dahl Simon Fraser University. Computing Science, 1984 | 52 | 1984 |

Logic programming as a representation of knowledge V Dahl Computer, 106-111, 1983 | 43 | 1983 |

Natural language understanding and logic programming V Dahl, P Saint-Dizier Elsevier Science Pub. Co. Inc., New York, NY, 1985 | 41 | 1985 |

Directly executable constraint based grammars V Dahl, P Blache Proc. Journees Francophones de Programmation en Logique avec Contraintes …, 2004 | 40 | 2004 |

Meaning in context H Christiansen, V Dahl International and Interdisciplinary Conference on Modeling and Using Context …, 2005 | 38 | 2005 |

Backtrackable state with linear affine implication and assumption grammars P Tarau, V Dahl, A Fall Annual Asian Computing Science Conference, 53-63, 1996 | 35 | 1996 |

Discontinuous grammars^{1},^{2}V Dahl Computational Intelligence 5 (3), 161-179, 1989 | 33 | 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 | 32 | 1999 |

Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. P Tarau, V Dahl, A Fall ILPS, 642, 1995 | 29 | 1995 |

Datalog grammars for abductive syntactic error diagnosis and repair J Balsa, V Dahl, JGP Lopes Proc. Natural Language Understanding and Logic Programming Workshop, 1995 | 29 | 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 | 25 | 1997 |

Constraint Based Methods for Biological Sequence Analysis. M Bavarian, V Dahl J. UCS 12 (11), 1500-1520, 2006 | 23 | 2006 |

Assumptions and abduction in Prolog H Christiansen, V Dahl 3rd International Workshop on Multiparadigm Constraint Programming Languages …, 2004 | 23 | 2004 |