Clemens Beckstein, Michelle Kim  Home/Search
Context Related
| faui80.informatik.un...immd8919.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www8.informatik.unierlange...all (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a deduction method that works both top-down and bottom-up. The method can be viewed as an extension of a well-known approach---Earley deduction---to handle negation-as-failure. We show that with respect to the stratified model theory of [1] the method is sound, that it is strongly complete (terminating) for function-free programs with negation, and complete for programs without negation if function symbols are allowed. The method uses the call graph of a program to... (Update)
Context of citations to this paper: More
.... Y ) var (Y ) father (X; Z) father (Z; Y ) grandfather (X; Y ) father (Z; Y ) father (X; Z) 19 For details see, for example, [BK91]. clause order(L) 1. Let L be the selected subgoal and let F Sigma be the sequence of clauses visible w.r.t. Sigma . 2. Determine the...
...be computed. See, e.g. Sto93] for a topological sort approximating the program s clause order. 15 For details see, for example, [BK91]. Hence, clauseorder clauses allow us to specify problem independent search strategies. Example 8. In Prolog, e.g. control information...
Cited by: More
Putting Declarative Meta Control to Work - Hogan, Stolle, Bradley (1998) (Correct)
Meta-Programming for Generalized Horn Clause Logic - Clemens Beckstein (1996) (Correct)
Declarative Meta Level Control for Logic Programs - Beckstein, Stolle, Tobermann (1995) (Correct)
Similar documents (at the sentence level):
50.2%: A Mixed Top-Down and Bottom-Up Deduction Method and its.. - Beckstein, Kim (1989) (Correct)
Active bibliography (related documents): More All
0.1: Bottom-up Evaluation and Query Optimization of.. - Kemp, Srivastava, Stuckey (1995) (Correct)
0.1: Tabled Logic Programs: Principles, Practice and.. - Ramakrishnan.. (1996) (Correct)
0.1: Bottom-up Evaluation and Query Optimization of Well-Founded - Models David Kemp (1995) (Correct)
Similar documents based on text: More All
0.6: Bottom-Up Earley Deduction - Erbach (1994) (Correct)
0.5: Practical Earley Parsing - Aycock, Horspool (2002) (Correct)
0.3: A Semantic-Head-Driven Generation Algorithm for.. - Shieber, van.. (1989) (Correct)
Related documents from co-citation: More All
3: A procedural approach to search control in Prolog (context) - Devanbu, Freeland et al. - 1986
3: Controlling Knowledge Deduction in a Declarative Approach (context) - Gallaire, Lasserre - 1979
3: Metacontrol of logic programs in METALOG (context) - Dincbas, Le Pape - 1984
BibTeX entry: (Update)
Beckstein, C.; Kim, M.: Generalized Earley Deduction and its Correctness. In Christaller, T., editor: Proc. GWAI-91, Bonn, pages 1--10. Springer-Verlag, 1991. IFB 285. http://citeseer.ist.psu.edu/beckstein91generalized.html More
@inproceedings{ beckstein91generalized,
author = "Clemens Beckstein and Michelle Y. Kim",
title = "Generalized Earley Deduction and Its Correctness",
booktitle = "{GWAI}",
pages = "2-11",
year = "1991",
url = "citeseer.ist.psu.edu/beckstein91generalized.html" }
Citations (may not include all citations):435 Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 1988
192 An Efficient Context-Free Parsing Algorithm (context) - Earley - 1970
66 Algorithm Schemata and Data Structures in Syntactic Processi.. (context) - Kay - 1980
50 Bottom-Up Beats Top-Down for DATALOG (context) - Ullman - 1989
46 Query Evaluation in Recursive Databases: Bottom-up and Top-d.. (context) - Bry - 1989
43 An Assumption-Based Truth Maintenance System (context) - deKleer - 1986
17 A database-complete proof procedure based on SLD-resolution (context) - Vieille - 1987
8 Deduced Relevant Types and Constructive Negation in Logic Pr.. (context) - Foo, Rao et al. - 1988
7 A Query Independent Method for Magic Set Computation on Stra.. (context) - Balbin, Meenakshi - 1988
7 Some practical properties of logic programming interpreters (context) - Brough, Walker - 1984
2 st Annual Meeting of the ACL (context) - Pereira, Warren - 1983
2 Logical Explanations of Deductions (context) - Kim, Beckstein - 1990
1 A Mixed Top-Down and Bottom-Up Deduction Method and its Corr.. - Beckstein, Kim - 1989
Documents on the same site (http://www8.informatik.uni-erlangen.de/IMMD8/Publications/all.html): More
Supporting Assumption-Based Reasoning in a Distributed.. - Beckstein, Fuhge.. (1993) (Correct)
Distributed Plan Maintenance for Scheduling and Execution - Beckstein.. (1994) (Correct)
Evolutionary Logic-Programming with RISC - Beckstein, Tobermann (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC