Login / Signup
The DUCTOR: A Theory Revision System for Propositional Domains.
Timothy Cain
Published in:
ML (1991)
Keyphrases
</>
theory revision
knowledge base
concept learning
propositional logic
domain theory
expert systems
background knowledge
default logic
domain specific