The following pages link to (Q4779807):
Displaying 5 items.
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- Updating action domain descriptions (Q622109) (← links)
- Computer-aided proofs of Arrow's and other impossibility theorems (Q840816) (← links)
- Representations for robot knowledge in the \textsc{KnowRob} framework (Q2407430) (← links)
- Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
