The following pages link to (Q4434175):
Displaying 4 items.
- Characterizing causal action theories and their implementations in answer set programming (Q2407453) (← links)
- Loop formulas for circumscription (Q2457644) (← links)
- Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
- Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)