Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code.
Fausto GiunchigliaPaolo TraversoPublished in: IJCAI (1991)
Keyphrases
- knowledge representation
- domain independent
- java virtual machine
- knowledge base
- implementation details
- artificial intelligence
- reasoning systems
- efficient implementation
- domain knowledge
- logic programming
- data model
- rule based systems
- automated reasoning
- database systems
- reasoning tasks
- case study
- code generation
- neural network
- programming tool