Login / Signup

Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge.

Guido Fiorino
Published in: IWIL@LPAR (2010)
Keyphrases
  • knowledge representation
  • domain knowledge
  • knowledge base
  • expert systems
  • artificial intelligence
  • knowledge management