Pages that link to "Item:Q4262832"
From MaRDI portal
The following pages link to The complexity of revising logic programs (Q4262832):
Displaying 6 items.
- Theory revision with queries: Horn, read-once, and parity formulas (Q814598) (← links)
- Mind change complexity of learning logic programs (Q1603595) (← links)
- The complexity of theory revision (Q1606294) (← links)
- Characterization Theorems for Revision of Logic Programs (Q2851279) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709989) (← links)