A Formalism for Treating Equivalence of Recursive Procedures.

Published in: RAIRO Theor. Informatics Appl. (1985)

Keyphrases

datalog programs
knowledge representation
formal model
knowledge base
real world
artificial intelligence
search engine
case study
theoretical framework
conceptual graphs
logical framework
interactive dynamic influence diagrams