Searching for "Knowledge, Belief and Time." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
