The following pages link to (Q3992823):
Displayed 28 items.
- Postulates for revising BDI structures (Q625696) (← links)
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics (Q687153) (← links)
- A logic of intentions and beliefs (Q689079) (← links)
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
- Belief ascription under bounded resources (Q987466) (← links)
- Epistemic logic for rule-based agents (Q1006511) (← links)
- A logic of situated resource-bounded agents (Q1006513) (← links)
- Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066) (← links)
- MOLOG: A system that extends PROLOG with modal logic (Q1079962) (← links)
- Resolution for some first-order modal systems (Q1178699) (← links)
- Reasoning about reasoning in a meta-level architecture (Q1183375) (← links)
- Maintaining mental models of agents who have existential misconceptions (Q1187220) (← links)
- On computable beliefs of rational machines (Q1191819) (← links)
- Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
- Belief as defeasible knowledge (Q1313959) (← links)
- Adding a temporal dimension to a logic system (Q1314287) (← links)
- Resolution theorem proving in reified modal logics (Q1332644) (← links)
- Probabilistic belief logic and its probabilistic Aumann semantics (Q1412128) (← links)
- A computational model of belief (Q1575433) (← links)
- Theorem proving for intensional logic (Q1891256) (← links)
- Avoiding omnidoxasticity in logics of belief: A reply to MacPherson (Q1906677) (← links)
- Active logic semantics for a single agent in a static world (Q2389647) (← links)
- The Arthur Prior memorial conference, Christchurch, 1989 (Q3352992) (← links)
- Knowledge, Time, and Logical Omniscience (Q3638298) (← links)
- A Logical Splitting Strategy for the Belief Structure of Agents (Q3647209) (← links)
- Handling database updates in two-dimensional temporal logic (Q4275692) (← links)
- Uniform and non uniform strategies for tableaux calculi for modal logics (Q4835516) (← links)
- (Q4935597) (← links)