Pages that link to "Item:Q2574878"
From MaRDI portal
The following pages link to The refinement extension principle for semantics of dynamic logic programming (Q2574878):
Displaying 9 items.
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
- A Unifying Perspective on Knowledge Updates (Q2915086) (← links)
- The rise and fall of semantic rule updates based on<tt>SE</tt>-models (Q2933088) (← links)
- Towards closed world reasoning in dynamic open worlds (Q3585167) (← links)
- EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
- EVOLP: An Implementation (Q3602956) (← links)
- Dynamic Reasoning Systems (Q5277897) (← links)
- A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness (Q6066787) (← links)
