A Syntax for Higher Inductive-Inductive Types.

Ambrus Kaposi András Kovács

Published in: FSCD (2018)

Keyphrases

inductive learning
neural network
machine learning
knowledge representation
inductive logic programming
inductive inference
inductive reasoning
data sets
information systems
learning environment
natural language
expert systems
information technology
concept learning
rule learning
constructive induction