Pages that link to "Item:Q2938514"
From MaRDI portal
The following pages link to Action Theories over Generalized Databases with Equality Constraints (Q2938514):
Displaying 3 items.
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Equality of agent expressions is preserved under an extension of the universe of actions (Q2366167) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)