Pages that link to "Item:Q866190"
From MaRDI portal
The following pages link to A programmable approach to revising knowledge bases (Q866190):
Displaying 8 items.
- On the decidability of open logic (Q848254) (← links)
- A programmable approach to maintenance of a finite knowledge base (Q1400054) (← links)
- Fast algorithms for revision of some special propositional knowledge bases (Q1415946) (← links)
- Salt: A knowledge acquisition language for propose-and-revise systems (Q1823730) (← links)
- An algebraic approach to revising propositional rule-based knowledge bases (Q2425850) (← links)
- Decidable subsets of open logic and an algorithm for R-calculus (Q2515454) (← links)
- An abductive framework for computing knowledge base updates (Q4819001) (← links)
- A framework for method-specific knowledge compilation from databases (Q5952808) (← links)