A Universal Machine for Biform Theory Graphs.

Michael Kohlhase Felix Mance Florian Rabe

Published in: MKM/Calculemus/DML (2013)

Keyphrases

directed graph
artificial intelligence
graph matching
formal theory
database
information systems
theoretical framework
belief functions
theoretical basis
decision making
computational model
graph construction
turing machine