Pages that link to "Item:Q2379313"
From MaRDI portal
The following pages link to Specifying and reasoning about uncertain agents (Q2379313):
Displaying 6 items.
- A computationally grounded, weighted doxastic logic (Q310087) (← links)
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- The independent choice logic for modelling multiple agents under uncertainty (Q1391346) (← links)
- Specifying and reasoning about uncertain agents (Q2379313) (← links)
- Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems (Q4352532) (← links)
- Logics in Artificial Intelligence (Q5394115) (← links)