Morita Equivalence for Many-Sorted Enriched Theories.

Matej Dostál Jiri Velebil

Published in: Appl. Categorical Struct. (2016)

Keyphrases

artificial intelligence
theoretical framework
real time
mathematical models
equivalence relation
cognitive psychology
formal models
data mining
computer vision
similarity measure
evolutionary algorithm
legal knowledge
cognitive theory
interactive dynamic influence diagrams