Pages that link to "Item:Q4593020"
From MaRDI portal
The following pages link to Characterization of logic program revision as an extension of propositional revision (Q4593020):
Displaying 5 items.
- Possible models computation and revision -- a practical approach (Q2096456) (← links)
- Characterization Theorems for Revision of Logic Programs (Q2851279) (← links)
- The complexity of revising logic programs (Q4262832) (← links)
- Merging in the Horn Fragment (Q5278204) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709989) (← links)