Sasa Buvac and John McCarthy. Combining planning contexts. In Austin Tate, editor, Advanced Planning Technology--Technological Achievements of the ARPA/Rome Laboratory Planning Initiative. AAAI Press, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Contexts as Relativized Definitions: A Formalization Via Fixed.. - Amati, Pirri (1997) (1 citation) (Correct)
.... contexts have been introduced to AI, some work has been done both to understand all the possible ways contexts are involved in commonsense reasoning (see e.g. 19] Guha s thesis [15] Shoham s discussion [25] and McCarthy s notes [20] and to reify such a notion into a formal system (see e.g. [17, 6, 13, 12, 3, 5, 7, 10]) In particular, both in [3] and in [10] the isth; i predicate is interpreted as a modal operator and contexts are interpreted in [3] through a multimodal setting and in [10] via fibring. Both the approaches are quite sophisticated: they provide a sound and complete calculus and lift the ....
Sasa Buvac and John McCarthy. Combining planning contexts. In Austin Tate, editor, Advanced Planning Technology--Technological Achievements of the ARPA/Rome Laboratory Planning Initiative. AAAI Press, 1996.
Contextual Information Integration - Buvac (1998) Self-citation (Buvac) (Correct)
....for various extensions of the general systems, we show that our propositional logic is decidable, and give a comparison to Kripke s possible worlds semantics. We also discuss some extensions and applications of our logics. Many of the results of this thesis have been previously published in [49, 19, 12, 11, 15, 14, 18]. See also [16] 1.1 Notation We use standard mathematical notation. If X and Y are sets, then X p Y is the set of partial functions from X to Y . P(X) is the set of subsets of X. X is the set of all finite sequences, and we let x = x 1 ; x n ] range over X . ffl is the empty ....
Sasa Buvac and John McCarthy. Combining planning contexts. In Austin Tate, editor, Advanced Planning Technology---Technological Achievements of the ARPA/Rome Laboratory Planning Initiative. AAAI Press, 1996.
Quantificational Logic of Context - Buvac (1996) (20 citations) Self-citation (Buvac) (Correct)
.... Since then, contexts have found uses in various AI applications, including: ffl managing large knowledge bases (Guha 1991) ffl translating knowledge (Buvac Fikes 1995) ffl modeling knowledge and belief (Giunchiglia 1993) ffl integrating data bases (Farquhar et al. 1995) ffl planning (Buvac McCarthy 1996), ffl qualitative reasoning (Nayak 1994) and ffl common sense reasoning (McCarthy Buvac 1994) These applications require the expressive power of firstorder logics. However, till now no formal logical investigations of quantificational theories of context have been done. The aim of this paper ....
Buvac, S., and McCarthy, J. 1996. Combining planning contexts. In Tate, A., ed., Advanced Planning Technology--Technological Achievements of the ARPA/Rome Laboratory Planning Initiative. AAAI Press.
Formalizing Context (Expanded Notes) - McCarthy, Buvac (1997) (6 citations) Self-citation (Mccarthy) (Correct)
....1993. An earlier version of this paper is the Stanford University Technical Note STAN CS TN 94 13. The current version contains new sections x7 and x13, as well as updated bibliographical remarks. Some of the results in this paper have been previously also published in one of the following: Buvac and McCarthy 1996, Buvac 1996a, Buvac 1996b. Our object is to introduce contexts as abstract mathematical entities with properties useful in artificial intelligence. Our attitude is therefore a computer science or engineering attitude. If one takes a psychological or philosophical attitude, one can examine the ....
....of this paper is the Stanford University Technical Note STAN CS TN 94 13. The current version contains new sections x7 and x13, as well as updated bibliographical remarks. Some of the results in this paper have been previously also published in one of the following: Buvac and McCarthy 1996, Buvac 1996a, Buvac 1996b. Our object is to introduce contexts as abstract mathematical entities with properties useful in artificial intelligence. Our attitude is therefore a computer science or engineering attitude. If one takes a psychological or philosophical attitude, one can examine the phenomenon of ....
[Article contains additional citation context not shown here]
Buvac, Sasa, and John McCarthy. 1996. Combining Planning Contexts.
Default Logic and Purity of Reasoning - Amati, Aiello, Pirri (Correct)
No context found.
Sasa Buvac and John McCarthy. Combining planning contexts. In Austin Tate, editor, Advanced Planning Technology--Technological Achievements of the ARPA/Rome Laboratory Planning Initiative. AAAI Press, 1996.
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