A Categorical Semantics for Inductive-Inductive Definitions.

Thorsten Altenkirch Peter Morris Fredrik Nordvall Forsberg Anton Setzer

Published in: CALCO (2011)

Keyphrases

inductive learning
inductive reasoning
inductive logic programming
concept learning
categorical data
rule learning
machine learning
functional programs
knowledge representation
inductive inference
deductive reasoning
data sets
multi agent
query language
knowledge representation languages