The following pages link to (Q4955335):
Displaying 6 items.
- Model reconciliation in logic programs (Q2055814) (← links)
- Solving logic program conflict through strong and weak forgettings (Q2457621) (← links)
- The refinement extension principle for semantics of dynamic logic programming (Q2574878) (← links)
- EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
- Merging Logic Programs under Answer Set Semantics (Q4649730) (← links)
- Default Negation as Explicit Negation plus Update (Q5059691) (← links)
