Proof Theory for Distributed Knowledge.

Raul Hakli Sara Negri

Published in: CLIMA (2007)

Keyphrases

proof theory
default reasoning
automated reasoning
learning algorithm
domain knowledge
knowledge representation
knowledge base
knowledge management