Login / Signup

Refined Epistemic Entrenchment.

Thomas Andreas MeyerWillem Adrian LabuschagneJohannes 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