Generalising Interpretations between Theories in the context of (pi-) Institutions.

José Luiz Fiadeiro T. S. E. Maibaum

Published in: Theory and Formal Methods (1993)

Keyphrases

context sensitive
neural network
expert systems
contextual information
databases
artificial intelligence
case study
evolutionary algorithm
domain knowledge
conceptual model