Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization.

Andrej Dudenhefner Jakob Rehof

Published in: Fundam. Informaticae (2019)

Keyphrases

description logics
knowledge representation
machine learning
real time
neural network
genetic algorithm
website
learning environment
domain independent