Pages that link to "Item:Q3585168"
From MaRDI portal
The following pages link to A program-level approach to revising logic programs under the answer set semantics (Q3585168):
Displaying 7 items.
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- AGM contraction and revision of rules (Q1698336) (← links)
- Revision of defeasible preferences (Q1726329) (← links)
- AGM-Style Belief Revision of Logic Programs under Answer Set Semantics (Q2851259) (← links)
- Characterization Theorems for Revision of Logic Programs (Q2851279) (← links)
- Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
- The complexity of revising logic programs (Q4262832) (← links)