Induction Schemata Valid in Kripke Models of Arithmetical Theories.

Published in: Reports Math. Log. (1999)

Keyphrases

kripke models
modal logic
action theories
inductive learning
inductive logic programming
concept learning
domain theory
machine learning
multi agent
model checking
inductive inference