Relating Information and Proof.

Anatol Slissenko

Published in: CoRR (2022)

Keyphrases

real time
prior knowledge
information processing
prior information
databases
information systems
keywords
computer systems
information sources
context aware
background knowledge
information sharing
multiple sources