C. Fouquer'e and J. Vauzeilles. Linear logic and exceptions. Journal of Logic and Computation, 4(6):859--876, 1994. Fouquer' e and Vauzeilles Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Linear Logic Approach to Consistency Preserving Updates - Bidoit, Cerrito, Froidevaux (1996) (1 citation) (Correct)
....is perhaps too strong, and we are working on the definition of more liberal conditions. We would like to stress that although in the paper we do insist on insertion of positive and negative facts as the typical update operation, our approach allows also to deal with deletion of facts. In [5] and [6] the equivalence between linear logic and default logic w.r.t. taxonomic default theories is proved. Although the kind of problems addressed in those papers, namely the representation of inheritance in semantic networks containing default and exception arcs, is quite different from the updating ....
C. Fouquer'e, J. Vauzeilles, 1993. "Linear Logic and Exceptions", to appear in Journal of Logic and Computation.
The Event Calculus as a Linear Logic Program - Alexiev (1995) (Correct)
....does not involve belief revision and database updates with complex formulas. For these problems LL seems to provide a natural purely logical solution. Examples of such problems are conjunctive planning [ Masseron et al. 1993; Holldobler, 1992; Jacopin, 1993 ] and hierarchies with exceptions [ Fouquer e and Vauzeilles, 1994 ] Arima and Sawamura, 1993 ] argue that LL is appropriate for a logic of explanation and abduction. The only work relating EC and LL that we are aware of is [ Cervesato et al. 1994 ] An implementation of Modal EC in Lolli is presented. The Modal EC is a modification of EC which presumes ....
C. Fouquer'e and J. Vauzeilles. Linear logic and exceptions. Journal of Logic and Computation, 4(6):859--875, 1994.
The Design of a Situation-Based Lygon Metainterpreter: I. Simple.. - White (1996) (Correct)
.... decidable state descriptions: that is, there is a set of atomic facts, and, for each such fact and for a given state vector, either p or its negation is in the state vector (where the negation here is not linear negation but some sort of classical negation operator: a similar formalism is used in [9]) We do not need this restriction, so our theory is somewhat more general. ffl von Wright is working with classical modal logic, which means that, in our terms, he is working with only the additive connectives (except, of course, for Delta T Delta) Although a surprising amount can be done in ....
Christoph Fouquer'e and Jacqueline Vauzeilles, "Linear Logic and Exceptions ", Journal of Logic and Computation 4 (1994), 859--875.
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