Pages that link to "Item:Q3602940"
From MaRDI portal
The following pages link to A Logic for Reasoning about Rational Agents (Q3602940):
Displaying 10 items.
- Programming rational agents in a modal action logic (Q596475) (← links)
- Where logic and agents meet (Q657584) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Reasoning about Agent Programs Using ATL-Like Logics (Q2915090) (← links)
- A logic for reasoning about moral agents (Q2973440) (← links)
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions (Q3167603) (← links)
- A Logic for Reasoning about Rational Agents (Q3602940) (← links)
- (Q4536704) (← links)
- (Q4681370) (← links)
- Theoretical Computer Science (Q5897363) (← links)