L. Giordano and N. Olivetti. Negation as failure and embedded implication. Journal of Logic Programming, 36(2):91-147, August 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Elimination of Negation in a Logical Framework - Momigliano (3 citations) (Correct)
....CWA and OWA predicates and applying NF only to the former [10] where the latter would require minimal negation, for example as in [16] 2. By switching to a modal logic, which is able to take into account arbitrary extensions of the program as possible worlds (see the completion construction in [9] for N Prolog and [4] for Hypothetical Datalog) 3. By embracing the idea of partiality in inductive de nitions and using the rule of de nitional re ection to incorporate a proof theoretical notion of closure analogous to the completion [22, 14] None of those approaches are satisfactory for our ....
L. Giordano and N. Olivetti. Negation as failure and embedded implication. Journal of Logic Programming, 36(2):91-147, August 1998.
Elimination of Negation in a Logical Framework - Momigliano (3 citations) (Correct)
....distinction between CWA and OWA predicates and applying NF only to the former [8] where the latter would require minimal negation. 2. By switching to a modal logic, which is able to take into account arbitrary extensions of the program as possible worlds (see the completion construction in [7] for N Prolog and [4] for Hypothetical Datalog) 3. By embracing the idea of partiality in inductive de nitions and using the rule of de nitional re ection to incorporate a proof theoretical notion of closure analogous to the completion [11] None of those approaches are satisfactory for our ....
L. Giordano and N. Olivetti. Negation as failure and embedded implication. Journal of Logic Programming, 36(2):91-147, August 1998.
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