Login / Signup

Logical Omniscience vs. Logical Ignorance on a Dilemma of Epistemic Logic.

Ho Ngoc Duc
Published in: EPIA (1995)
Keyphrases
  • epistemic logic
  • logical framework
  • representing knowledge
  • model checking
  • multi agent systems
  • knowledge representation