Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, and Hudson Turner. Causal laws and multi-valued uents. Unpublished draft, 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Tight Logic Programs - Erdem, Lifschitz Self-citation (Lifschitz) (Correct)
....] because such programs can be viewed as a special case of programs with nested expressions [ Ferraris and Lifschitz, 2001 ] For instance, the rst of rules (1) can be written in the syntax of smodels as fpg. Third, program completion is closely related to the semantics of causal theories [ Giunchiglia et al. 2001 ] and to the input language of the Causal Calculator . Fages theorem and its generalizations help us understand the relationship between causal theories and the Causal Calculator on the one hand, and logic programs and answer set programming on the other. We begin by reviewing answer sets, ....
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, and Hudson Turner. Causal laws and multi-valued uents. Unpublished draft, 2001.
A Representation of the Zoo World in the Language of the.. - Lee, Lifschitz, Turner (2001) Self-citation (Lifschitz Turner) (Correct)
.... 2 an implementation of the nonmonotonic causal logic from [ McCain and Turner, 1997 ] A formalization of the Trac World in the same language is presented in [ Akman et al. 2001 ] The part of the language of ccalc used in both papers is closely related to action language C introduced in [ Giunchiglia et al. 2001 ] The next section contains an extensive quote from the Logic Modelling Workshop description of the Zoo World. Then we describe the syntax of the action language C (Section 3) and relate it to ccalc (Section 4) present our formalization (Section 5) discuss how closely it corresponds to the ....
....human will result in riding that animal instead. 3 Action Language C Action languages are formal models of the parts of natural language that are used to talk about actions and their e ects [ Gelfond and Lifschitz, 1998 ] We will describe the syntax of the action language C introduced in [ Giunchiglia et al. 2001 ] an extension of the language C from [ Giunchiglia and Lifschitz, 1998 ] that includes symbols for non Boolean uents. A multi valued propositional signature is a set of symbols called constants, along with a nonempty set Dom(c) of symbols assigned to each constant c. We call Dom(c) the domain ....
[Article contains additional citation context not shown here]
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, and Hudson Turner. Causal laws and multi-valued uents. 11 Unpublished draft, 2001.
A Representation of the Traffic World in the Language .. - Akman, Erdogan, Lee, .. Self-citation (Lifschitz) (Correct)
....so essential in the Trac World, can be easily described in language C . In this respect C is similar to its predecessor C de ned in [ Giunchiglia and Lifschitz, 1998 ] Recall that a dynamic law is an expression of the form caused F if G after H (1) where F , G and H are formulas (see [ Giunchiglia et al. 2001, Section 4 ] or [ Lee et al. 2001, Section 3 ] The logical constant often plays the role of G, in which case the part if G can be dropped. Formula H is allowed to include action symbols, and in many cases it does; then (1) describes direct e ects of some actions. For instance, our ....
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, and Hudson Turner. Causal laws and multi-valued uents. 6 Unpublished draft, 2001.
A Representation of the Zoo World in the Language of the.. - Lee, Lifschitz, Turner (2001) Self-citation (Lifschitz Turner) (Correct)
.... how to represent the rst of these domains in the input language of the Causal Calculator (ccalc) 2 an implementation of the nonmonotonic causal logic from [ McCain and Turner, 1997 ] The part of the language of ccalc used in this paper is closely related to action language C introduced in [ Giunchiglia et al. 2001 ] The next section contains an extensive quote from the Logic Modelling Workshop description of the Zoo World. Then we describe the syntax of the action language C (Section 3) and relate it to ccalc (Section 4) present our formalization (Section 5) and discuss how closely it corresponds to ....
....the human will result in riding that animal instead. 3 Action Language C Action languages are formal models of the parts of natural language that are used to talk about actions and their e ects [ Gelfond and Lifschitz, 1998 ] We will describe the syntax of the action language C introduced in [ Giunchiglia et al. 2001 ] an extension of the 3 language C from [ Giunchiglia and Lifschitz, 1998 ] that includes symbols for non Boolean uents. A multi valued propositional signature is a set of symbols called constants, along with a nonempty set Dom(c) of symbols assigned to each constant c. We call Dom(c) the ....
[Article contains additional citation context not shown here]
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, and Hudson Turner. Causal laws and multi-valued uents. 8 Unpublished draft, 2001.
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