A Blackboard Architecture for Guiding Interactive Proofs.

Christoph Benzmüller Volker Sorge

Published in: AIMSA (1998)

Keyphrases

blackboard architecture
knowledge sources
user friendly
inference engine
knowledge based systems
knowledge representation
theorem proving
computer graphics
mathematical proofs
formal proofs
virtual reality
data sets
knowledge acquisition
rough sets
general purpose
prior knowledge
knowledge base