Axioms and decidability for type isomorphism in the presence of sums.

Published in: CSL-LICS (2014)

Keyphrases

type checking
knowledge base
description logics
graph theory
computational properties
neural network
data types
artificial intelligence
computer vision
decision trees
case study
special case
query answering