Magic for filter optimization in dynamic bottom-up processing

Proceedings of the Annual Meeting of the Association for Computational Linguistics

Volumn 1996-June, Issue , 1996, Pages 247-254

  Minnen, Guido ^a  

^a UNIVERSITY OF TÜBINGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOTTOM UP; DEFINITE CLAUSE; FILTER OPTIMIZATION; GOAL-DIRECTEDNESS; LOGIC GRAMMAR; OPTIMISATIONS; PROGRAM TRANSFORMATION TECHNIQUES; UNFOLDINGS;

COMPUTER CIRCUITS;

EID: 84856583703     PISSN: 0736587X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Francois Bancilhon. 1985. Naive Evaluation of Recursively Defined Relations. In Brodie and My-lopoulos, editors, On Knowledge Base Management Systems - Integrating Database and AI Systems. Springer-Verlag.
2. Catriel Beeri and Raghu Ramakrishnan. 1991. On the Power of Magic. Journal of Logic Programming 10.
3. Jochen DSrre. 1993. Generalizing Earley Deduction for Constraint-based Grammars. DSrre and Dorna, editors, Computational Aspects of Constraint-Based Linguistic Description I, DYANA-2, Deliverable R1.2.A.
4. Dale Gerdemann. 1991. Parsing and Generation of Unification Grammars. Ph.D. thesis, University of Illinois, USA.
5. Mark Johnson. forthcoming. Constraint-based Natural Language Parsing. Brown University, Richmond, USA. Draft of 6 August 1995.
6. Guido Minnen, Dale Gerdemann, and Erhard Hinrichs. 1996. Direct Automated Inversion of Logic Grammars. New Generation Computing 14.
7. Fernando Pereira and Stuart Shieber. 1987. Prolog and Natui'al Language Analysis. CSLI Lecture Notes, No. 10. Center for the Study of Language and Information, Chicago, USA.
8. Alberto Pettorossi and Maurizio Proietti. 1994. Transformations of Logic Programs: Foundations and Techniques. Journal of Logic Programming 19/2o.
9. Raghu Ramakrishnan, Divesh Srivastava, and S. Sudarshan. 1992. Efficient Bottom-up Evaluation of Logic Programs. In Vandewalle, editor, The State of the Art in Computer Systems and Software Engineering. Kluwer Academic Publishers.
10. Taisuke Sato and Hisao Tamaki. 1984. Enumeration of Success Patterns in Logic Programs. Theoretical Computer Sience 34.
11. Stuart Shieber, Gertjan van Noord, Robert Moore, and Fernando Pereira. 1990. Semantic Head-driven Generation. Computational Linguistics 16.
12. Stuart Shieber. 1985. Using Restriction to Extend Parsing Algorithms for Complex Feature-based Formalisms. In Proceedings of the 23rd Annual Meeting Association for Computational Linguistics, Chicago, USA.
13. Stuart Shieber. 1988. A Uniform Architecture for Parsing and Generation. In Proceedings of the 12th Conference on Computational Linguistics, Budapest, Hungary.
14. Stuart Shieber. 1989. Parsing and Type Inference for Natural and Computer Languages. Ph.D. thesis, Stanford University, USA.
15. Hisao Tamaki and Taisuke Sato. 1984. Unfold/Fold Transformation of Logic Programs. In Proceedings of the 2nd International Conference on Logic Programming, Uppsala, Sweden.