Login / Signup
Refined Epistemic Entrenchment.
Thomas Andreas Meyer
Willem Adrian Labuschagne
Johannes Heidema
Published in:
J. Log. Lang. Inf. (2000)
Keyphrases
</>
epistemic logic
domain knowledge
refinement process
artificial intelligence
search algorithm
preprocessing
special case
logic programs
propositional logic
belief change