Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning.
Narinder SinghMichael R. GeneserethPublished in: SIGART Bull. (1991)
Keyphrases
- knowledge representation
- multiple representations
- abductive logic programming
- declarative knowledge
- uncertain information
- truth maintenance systems
- reasoning process
- domain independent
- qualitative reasoning
- fuzzy reasoning
- knowledge base
- spatial reasoning
- decision support
- automated reasoning
- legal reasoning
- reasoning systems
- cognitive processing
- conceptual representation
- deductive reasoning
- high level