Pages that link to "Item:Q4593020"

The following pages link to Characterization of logic program revision as an extension of propositional revision (Q4593020):

Displaying 2 items.

• Possible models computation and revision -- a practical approach (Q2096456) (← links)
• Merging in the Horn Fragment (Q5278204) (← links)