Logics for knowledge, possibility, and existence.

Roderic A. Girle

Published in: Notre Dame J. Formal Log. (1978)

Keyphrases

knowledge base
expert systems
information retrieval
case study
knowledge acquisition
knowledge based systems
domain experts
knowledge transfer
real world
information systems
knowledge representation
knowledge discovery
expressive power
conditional logic