Searching for "Knowledge, Belief and Time." – sorted by Relevance.
-
Translating a Modal Language with Embedded Implication into Horn Clause Logic
- in computer science and artificial intelligence to deal with knowledge and beliefs, time, actions, and several
- Cited by 6 (1 self) – Add To MetaCart
-
Labelled Quantified Modal Logics
- .g., knowledge, belief, time, space, and other dynamic `state oriented' properties. The principles
- Add To MetaCart
-
Actions That Make You Change Your Mind - . . .
- , 1975. [18] S. Kraus and D. Lehmann. Knowledge, belief and time. Theoretical Computer Science, 58
- Cited by 5 (1 self) – Add To MetaCart
-
Cooperation, psychological game theory, and limitations of rationality in social interaction
- and beliefs at the time of acting. (By CKR1 this too is common knowledge in the game.) The concept of common
- Cited by 6 (0 self) – Add To MetaCart
-
A logical approach to reasoning about uncertainty: a tutorial
- discussed in Section 6. 2 2 Basic modal logic: knowledge, belief, and time Let us start by considering a
- Cited by 10 (0 self) – Add To MetaCart
-
A Modal Active-Logic with Focus of Attention for Reasoning in Time
- to knowledge and belief and time-situated frameworks such as active-logics [Nir94]. Here, we extend this model
- Add To MetaCart
-
Event-oriented approaches to geographic phenomena
- that”; or “it is believed that.” Thus modal logics may capture knowledge, belief, time, and several
- Cited by 14 (0 self) – Add To MetaCart
-
MarketSpace'96 - an Open Agent-Based Market Infrastructure
- like knowledge, belief, time, etc. The mental state of an agent is a ected when it communicates
- Cited by 3 (0 self) – Add To MetaCart
-
Labelled Deduction Over Algebras of Truth-Values
- , to formalize and reason about dynamic \state-oriented" properties, such as knowledge, belief, time, space
- Cited by 2 (2 self) – Add To MetaCart
-
Truth-Values as Labels: A General Recipe for Labelled Deduction
- , to formalize and reason about dynamic \state-oriented" properties, such as knowledge, belief, time, space
- Cited by 1 (1 self) – Add To MetaCart

