Pages that link to "Item:Q1923832"
From MaRDI portal
The following pages link to Reasoning about action and change. A dynamic logic approach (Q1923832):
Displayed 8 items.
- A description logic based situation calculus (Q604908) (← links)
- Means-end relations and a measure of efficacy (Q853789) (← links)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
- A semantics for means-end relations (Q2460183) (← links)
- PDL with negation of atomic programs (Q3647227) (← links)
- Frame problem in dynamic logic (Q3647228) (← links)
- Modal logic for modelling actions and agents (Q4632321) (← links)
- (Q5015273) (← links)