(Enter summary)
Abstract: Actions
The strategic definition of know-how builds on the definition given previously. To
this end, we define [f g]
Y as the know-how denotation of a tree, , relative to a
strategy, Y , for an agent, x. [f g]
Y is the set of periods on which the given agent
knows how to achieve Y by following . Precisely those periods are included
on which the agent has the requisite knowledge to force the success of the given
strategy. The know-how denotation needs to be defined only for the base case
... (Update)
Similar documents based on text: More All
0.3: The Arisal of a System Architect - Muller (1999)
(Correct)
0.3: An Organization Modelling Framework for Information Systems.. - Yu (1993)
(Correct)
0.3: Strategic Modelling for Enterprise Integration - Yu (1999)
(Correct)
BibTeX entry: (Update)
Munindar P. Singh. Know-how. In [22]. 1998. http://citeseer.ist.psu.edu/singh98knowhow.html More
@misc{ singh98knowhow,
author = "M. Singh",
title = "Know-how",
text = "Munindar P. Singh. Know-how. In [22]. 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/singh98knowhow.html" }
Citations (may not include all citations):
725
Temporal and modal logic (context) - Emerson - 1990
365
Pengi: An implementation of a theory of activity (context) - Agre, Chapman - 1987
327
Modeling rational agents within a BDI-architecture
- Rao, Georgeff - 1991
210
A formal theory of knowledge and action (context) - Moore - 1984
200
and Practical Reason (context) - Bratman, Plans - 1987
143
Logics of program (context) - Kozen, Tiurzyn - 1990
113
Cambridge University Press (context) - Chellas - 1980
92
Present and Future (context) - Prior - 1967
90
Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
54
Multiagent Systems: A Theoretical Framework for Intentions (context) - Singh - 1994
42
Knowledge and Belief: An Introduction to the Logic of the Tw.. (context) - Hintikka - 1962
36
Time and Modality (context) - Prior - 1957
30
Decentralized Artificial Intelligence (context) - Demazeau, Muller - 1991
26
Seeing to it that: A canonical form for agentives (context) - Belnap, Perloff - 1988
26
Group ability and structure
- Singh - 1991
[Article contains additional citations not shown here]
Documents on the same site (http://www.csc.ncsu.edu:8080/faculty/singh/papers/): More
A Social Mechanism of Reputation Management in Electronic.. - Yu, Singh (2000)
(Correct)
Formalizing Actions in Branching Time: Model-Theoretic.. - Singh (1995)
(Correct)
Computing the Temporal Structure of Events in Natural Language - Singh, Singh (1992)
(Correct)
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