Melvin Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295--312, 1985. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Constraint Logic Programming - Copyright Fran Cois Self-citation (Logic) (Correct)
No context found.
M. Fitting, A Kripke/Kleene semantics for logic programs, Journal of Logic Programming, 2(4), pp.295-312 (1985)
J. Logic Programming 1994:19, 20:1--679 1 Constructive.. - Fran Cois Fages Self-citation (Logic) (Correct)
No context found.
Fitting, M., A Kripke/Kleene Semantics for Logic Programs, Journal of Logic Programming, 2(4), pp.295-312, 1985.
Uncertainty and Partial Non-Uniform Assumptions in Parametric .. - Loyer, Straccia (2002) (Correct)
No context found.
Melvin Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295--312, 1985.
Minimum Model Semantics for Logic Programs with.. - Rondogiannis, Wadge (Correct)
No context found.
Fitting, M. 1985. A Kripke-Kleene Semantics for Logic Programs. Journal of Logic Programming 2, 4, 295-312.
Strong Equivalence of Nonmonotonic Theories - an Algebraic.. - Truszczynski (Correct)
No context found.
Fitting, M. C. 1985. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming 2(4):295--312.
Splitting an Operator: Algebraic modularity results for .. - Vennekens, Gilis.. (2005) (2 citations) (Correct)
No context found.
Fitting, M. 1985. A Kripke-Kleene Semantics for Logic Programs. Journal of Logic Programming 2, 4, 295-312.
An Ordered Logic Program Solver - Van Nieuwenborgh, Heymans, Vermeir (2005) (Correct)
No context found.
M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of logic programming, 4:295--312, 1985.
Negation as Partial Failure - Mobasher, Leszczylowski, Slutzki.. (1993) (Correct)
No context found.
M. C. Fitting, A Kripke/Kleene semantics for logic programs, Journal of Logic Programming, 4 (1985), pp. 295-312.
Reliable Semantics for Extended Logic Programs with Rule.. - Analyti, Pramanik (2004) (6 citations) (Correct)
No context found.
M. Fitting, A Kripke-Kleene Semantics for Logic Programs, Journal of Logic Programming, 2(4), 1985, pp. 295-312.
A Hierarchy of Semantics for Normal Constraint Logic Programs - Francois Fages And (1996) (3 citations) (Correct)
No context found.
M. Fitting, "A Kripke/Kleene semantics for logic programs", Journal of Logic Programming, 2(4), pp.295-312, 1985.
Semantics for Reasoning with Contradictory Extended Logic.. - Analyti, Pramanik (1994) (Correct)
No context found.
M. Fitting, "A Kripke-Kleene Semantics for Logic Programs", Journal of Logic Programming, 2(4), 1985, pp. 295-312.
Ultimate Approximation and Its Application in.. - Denecker, Marek.. (2004) (1 citation) (Correct)
No context found.
M. C. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295-312, 1985.
Explaining Incompatibilities in Data Dictionary - Design Through Abduction (Correct)
No context found.
M. Fitting. A kripke-kleene semantics for logic programs. Journal of Logic Programming, 2:295--312, 1985.
Partial Stable Models for Logic Programs with Aggregates - Pelov, Denecker, Bruynooghe (2004) (1 citation) (Correct)
No context found.
M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295--312, 1985.
Ultimate Approximation and Its Application in Nonmonotonic.. - Denecker, al. (2004) (1 citation) (Correct)
No context found.
M. C. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295--312, 1985.
Towards Constraint Satisfaction through Logic Programs and the.. - Simons (1997) (22 citations) (Correct)
No context found.
M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295312, 1985.
A rewriting method for Well-Founded Semantics with Explicit.. - Pedro Cabalar Dept (2002) (Correct)
No context found.
M. Fitting. A kripke-kleene semantics for logic programs. Journal of Logic Programming, 2(4):295-312, 1985.
Natural Properties of Abductive Hypotheses in - Three-Valued Logic Marta (Correct)
No context found.
M. Fitting "A Kripke-Kleene semantics for logic programs" Journal of Logic Programming 2(4), pp295-312, North-Holland, 1985. 9
Translation of Aggregate Programs to Normal Logic Programs - Pelov, Denecker, Bruynooghe (2003) (Correct)
No context found.
M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295--312, 1985.
Alternative Characterizations for Strong Equivalence of Logic.. - Cabalar (Correct)
No context found.
M. Fitting. A kripke-kleene semantics for logic programs. Journal of Logic Programming, 2(4):295-312, 1985.
Translation of Aggregate Programs to Normal Logic Programs - Pelov, Denecker, Bruynooghe (2003) (Correct)
No context found.
M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295--312, 1985.
Logic Programming and Knowledge Representation - the A-Prolog .. - Gelfond, Leone (2002) (3 citations) (Correct)
No context found.
M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295-312, 1985.
A General Framework for Semantics-based Bottom-up.. - Barbuti, Giacobazzi.. (1993) (26 citations) (Correct)
No context found.
M. Fitting. A Kripke-Kleene semantics for logic programs. In Journal of Logic Programming, volume 2, pages 295--312, 1985.
On The Propositional Sldnf-Resolution - Plaza (Correct)
No context found.
M. Fitting, "A Kripke-Kleene Semantics for Logic Programs," Journal of Logic Programming, no. 4 (1985) pp 295-312.
Automated Reasoning with Uncertainties - Silva (1992) (Correct)
No context found.
M. Fitting. A Kripke-Kleene Semantics for Logic Programs. Journal of Logic Programming, 4:295--312, 1985.
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