The following pages link to (Q3992823):
Displaying 39 items.
- Logical omniscience as infeasibility (Q392271) (← links)
- On the factivity of implicit intersubjective knowledge (Q484978) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Dealing with logical omniscience: expressiveness and pragmatics (Q543593) (← links)
- 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)
- A probabilistic semantics for belief logic (Q2075282) (← links)
- The fundamental problem of logical omniscience (Q2194114) (← links)
- Rethinking epistemic logic with belief bases (Q2307332) (← links)
- Active logic semantics for a single agent in a static world (Q2389647) (← links)
- Indexical knowledge and robot action -- a logical account (Q2675278) (← links)
- Dynamic Epistemic Logic and Logical Omniscience (Q2987746) (← links)
- The Arthur Prior memorial conference, Christchurch, 1989 (Q3352992) (← links)
- Temporalizing Modal Epistemic Logic (Q3455859) (← 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)
- Ideal and real belief about belief (Q4632302) (← links)
- Uniform and non uniform strategies for tableaux calculi for modal logics (Q4835516) (← links)
- (Q4935597) (← links)
