Using Signatures in Type Theory to Represent Situations.

Stergios Chatzikyriakidis Zhaohui Luo

Published in: JSAI-isAI Workshops (2014)

Keyphrases

theoretical framework
real world
conceptual framework
formal theory
artificial intelligence
image processing
database systems
computational models
information theory
belief functions
current situation
general theory