J. W. Lloyd and J. C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11(3&4):217--242, October 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Specialisation Calculus to improve Expert - Systems Communication Josep (Correct)
....formulas (rules and propositions) We propose to do it by means of an Specialization Calculus of KBs. Specialisation is based on the notion of partial evaluation expressed in the well known Kleene s Theorem. Partial evaluation algorithms have been intensively in logic programming [9] 2] 3] 8] [4] mainly for e#ciency purposes. In this paper we propose the use of this technique to improve the communication behavior of ESs. With this purpose in section 2 we propose a partial evaluation mechanism for rule bases. In section 3 we formalise an Specialisation Calculus. Finally a little example ....
....will be eliminated and a new proposition will be added. This new proposition will be used again to specialise the kb. The process will finish when the kb has no rule containing on its conditions a known proposition. This approach is di#erent for instance from the logic programming one used in [4]. There, partial evaluation is goal driven, whereas here partial evaluation is data driven. In an uncertain reasoning context we propose to extend the above boolean specialisation inference rule as follows: Definition 3 (SIR) Given a proposition A with certainty value #, and a rule with ....
J. W. Lloyd and J. C. Shepherson. Partial evaluation in logic programming. Logic Programming, 11(3/4):217--242, October/November 1991.
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
No context found.
J. W. Lloyd and J. C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11(3&4):217--242, October 1991.
Regular Trees as an Abstract Domain for Program Specialisation - Gallagher, Peralta (2000) (Correct)
No context found.
Lloyd, J. and J. Shepherdson: 1991, `Partial Evaluation in Logic Programming'. Journal of Logic Programming 11#3 & 4#, 217#242.
Automatic Program Specialization for Java - Schultz, Lawall, Consel (2003) (2 citations) (Correct)
No context found.
LLOYD,J.AND SHEPHERDSON, J. 1991. Partial evaluation in logic programming. J. Logic Prog. 11, 217--242.
An Algebraic Semantics of Prolog Control - Ross (1992) (1 citation) (Correct)
No context found.
Lloyd, J.W. and J.C. Shepherdson (1987). Partial Evaluation in Logic Programming. Technical Report CS-87-09. University of Bristol.
A Unifying View of Functional and Logic Program.. - Alpuente, Falaschi, Vidal (1998) (1 citation) (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217--242, 1991.
Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (1996) (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217--242, 1991.
Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi, Julian.. (1997) (8 citations) (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217--242, 1991.
Narrowing-driven Partial Evaluation of Functional Logic.. - Alpuente, Falaschi, Vidal (1996) (12 citations) (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217--242, 1991.
Safe Folding/Unfolding with Conditional Narrowing - Alpuente, Falaschi, Moreno.. (1997) (2 citations) (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217--242, 1991.
The Narrowing-Driven Approach to Functional Logic Program.. - Albert, Vidal (2002) (2 citations) (Correct)
No context found.
) Lloyd J. and Shepherdson J., "Partial Evaluation in Logic Programming," Journal of Logic Programming, 11, pp. 217--242, 1991.
Transformation by Interpreter Specialisation - Jones (2004) (1 citation) (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial evaluation in logic programming. Journal of Logic Programming, 11(3-4):217-242, 1991.
Symbolic Negotiation with Linear Logic - Peep Kungas And (2004) (1 citation) (Correct)
No context found.
J. W. Lloyd, J. C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, Vol. 11, pp. 217--242, 1991.
Narrowing-driven Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (1996) (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217--242, 1991.
Some Issues in Analysis and Specialization of Modular.. - Puebla, Hermenegildo (2000) (5 citations) (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11(3--4):217--242, 1991.
Call-by-Name Partial Evaluation of Functional Logic.. - Alpuente, Falaschi.. (1996) (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217--242, 1991.
A Partial Evaluation Framework for Curry Programs - Albert, Alpuente, Hanus, Vidal (1999) (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217-242, 1991.
Linear Logic, Partial Deduction and Cooperative Problem Solving - Küngas, Matskin (2003) (Correct)
No context found.
J. W. Lloyd, J. C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, Vol. 11, pp. 217-242, 1991.
Speeding Up Inferences Using Relevance - Reasoning Formalism And (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial evaluation in logic programming. Journal of Logic Programming, (11):217--242, 1991.
Unknown - (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson, `Partial evaluation in logic programming,' Journal of Logic Programming, 11:217--242, 1991.
Specialization of Functional Logic Programs Based on.. - Alpuente, Hanus.. (1999) (Correct)
No context found.
J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217--242, 1991.
Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (10 citations) (Correct)
No context found.
J. W. Lloyd and J. C. Shepherdson. Partial evaluation in logic programming. The Journal of Logic Programming, 11(3& 4):217-242, 1991.
Symbolic Negotiation with Linear Logic - Küngas, Matskin (2004) (Correct)
No context found.
J. W. Lloyd, J. C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, Vol. 11, pp. 217-242, 1991.
Strategies Of Structural Synthesis Of Programs And Its Extensions - Matskin, Tyugu (2001) (2 citations) (Correct)
No context found.
Lloyd, J. W.---Shepherdson, J. C.: Partial evaluation in logic programming, Journal of Logic Programming, Vol. 11, 1991.
Data Integration under Integrity Constraints - Cali, Calvanese, De Giacomo.. (2002) (8 citations) (Correct)
No context found.
Lloyd, J.W., Shepherdson, J.C.: Partial evaluation in logic programming. J. of Logic Programming 11 (1991) 217--242
First 50 documents Next 50
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