Pages that link to "Item:Q2734941"
From MaRDI portal
The following pages link to Dynamic logic for reasoning about actions and agents (Q2734941):
Displaying 17 items.
- On the dynamic logic of agency and action (Q456961) (← links)
- Programming rational agents in a modal action logic (Q596475) (← links)
- A graded BDI agent model to represent and reason about preferences (Q646556) (← links)
- A sequent calculus for propositional dynamic logic for agents with interactions (Q852274) (← links)
- Means-end relations and a measure of efficacy (Q853789) (← links)
- Don't ever do that! Long-term duties in \(PD_{e}L\) (Q935022) (← links)
- A dynamic logic of action (Q1337608) (← links)
- Propositional dynamic logic with quantification over regular computation sequences (Q2151417) (← links)
- A dynamic hybrid logic for followership (Q2291257) (← links)
- Active logic semantics for a single agent in a static world (Q2389647) (← links)
- A semantics for means-end relations (Q2460183) (← links)
- Reasoning agents in dynamic domains (Q2734940) (← links)
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions (Q3167603) (← links)
- Variety of Behaviours Through Profiles in Logic-Based Agents (Q3623972) (← links)
- (Q4708197) (← links)
- (Q5376659) (← links)
- FLUX: A logic programming method for reasoning agents (Q5696596) (← links)