Handling Information Logics in a Graphical Proof Editor.

Michel Herment Ewa Orlowska

Published in: Comput. Intell. (1995)

Keyphrases

spatial information
information seeking
information content
background knowledge
real time
information sources
prior knowledge
higher level
information flow
information sharing
semantic information
domain knowledge
expert systems
case study
web pages
artificial intelligence
information retrieval
databases