S. Schrodl. An extension of explanation-based generalisation to negation as failure. In Proceedings of the 19th Annual German Conference on Artificial Intelligence, Bielefeld, LNAI Vol. 981, pages 65--76. Springer, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Transforming General Program Proofs: A Meta Interpreter.. - West, Bryant, McCluskey (1997) (Correct)
....negation is shielded, in addition to 1 and 2 above. The definition presented here is based on traditional EBG tree generation described in [12] A recursive function gen tree takes a non empty goal G and a node n and yields an expression as follows. Our development and notation follows that of [13], in order for later comparison. The tree generation is guided by an instance ff whose role is to decide which clauses are used in a resolution step. It produces a generalised version of the proof of the instance which follows the proof. The example in Section 3.2.1 shows both proofs. The tree ....
....of Failures (EBGF) A sufficient condition is derived from the failed proof tree which is satisfied by the instance and ensures the failure of the goal. However clause bodies contributing to the failed tree can contain only positive literals. The work has subsequently been extended [16, 13]: EBGF has been used to aid the generation of trees for proofs which use SLDNF resolution. General predicates can be associated with the tree. 13] also includes a review of other methods. The method uses the definition of program completion (N1, Section 2) as follows: Given: A goal, G (a ....
[Article contains additional citation context not shown here]
S. Schrodl. An extension of explanation-based generalisation to negation as failure. In Proceedings of the 19th Annual German Conference on Artificial Intelligence, Bielefeld, LNAI Vol. 981, pages 65--76. Springer, 1995.
THE IMPRESS PROJECT Assigning Blame to General Clausal Form.. - School Of Computing (Correct)
No context found.
S. Schrodl. An extension of explanation-based generalisation to negation as failure. In Proceedings of the 19th Annual German Conference on Artificial Intelligence, Bielefeld, LNAI Vol. 981, pages 65--76. Springer, 1995.
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