Login / Signup

Implementing a knowledge-based library information system with typed horn logic.

Hassan Aït-KaciRoger NasrJungyun Seo
Published in: Inf. Process. Manag. (1990)
Keyphrases
  • horn logic
  • information systems
  • propositional logic
  • belief change
  • knowledge management
  • expert systems