LWBtheory: Information about some Propositional Logics via the WWW.

Alain Heuerding

Published in: Log. J. IGPL (1997)

Keyphrases

expressive power
database
information sharing
modal logic
information resources
propositional logic
information retrieval
case study
expert systems
background knowledge
information seeking