Pages that link to "Item:Q5738901"
From MaRDI portal
The following pages link to Compilability and compact representations of revision of Horn knowledge bases (Q5738901):
Displaying 5 items.
- Belief revision within fragments of propositional logic (Q386044) (← links)
- Compact representation of knowledge bases in inductive logic programming (Q702532) (← links)
- Redundancy in logic. I: CNF propositional formulae (Q2457681) (← links)
- Belief revision in Horn theories (Q2512985) (← links)
- Translation-Based Revision and Merging for Minimal Horn Reasoning. (Q4576205) (← links)