Pages that link to "Item:Q1079021"
From MaRDI portal
The following pages link to Formal theories of knowledge in AI and robotics (Q1079021):
Displaying 15 items.
- A logic of intentions and beliefs (Q689079) (← links)
- Belief, awareness, and limited reasoning (Q1096610) (← links)
- Planning for conjunctive goals (Q1101262) (← links)
- Zero-knowledge proofs of identity (Q1112785) (← links)
- The complexity of reasoning about knowledge and time. I: Lower bounds (Q1119565) (← links)
- On the knowledge requirements of tasks (Q1128492) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- Common knowledge revisited (Q1295439) (← links)
- Common knowledge and update in finite environments (Q1383157) (← links)
- Modeling agents as qualitative decision makers (Q1391353) (← links)
- Heterogeneous active agents. III: Polynomially implementable agents (Q1978315) (← links)
- Smart office robot collaboration based on multi-agent programming (Q1978438) (← links)
- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic (Q3614879) (← links)
- Multi-agent Systems and Paraconsistent Knowledge (Q3627852) (← links)
- Actions on belief (Q4299136) (← links)
