Pages that link to "Item:Q2915090"
From MaRDI portal
The following pages link to Reasoning about Agent Programs Using ATL-Like Logics (Q2915090):
Displaying 7 items.
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- Programming rational agents in a modal action logic (Q596475) (← links)
- Agent-oriented programming. From Prolog to guarded definite clauses. (Q1880436) (← links)
- Natural strategic ability (Q2289013) (← links)
- Reasoning about Agent Programs Using ATL-Like Logics (Q2915090) (← links)
- (Q4536751) (← links)
- FLUX: A logic programming method for reasoning agents (Q5696596) (← links)