Action Logic and Pure Induction.

Vaughan R. Pratt

Published in: JELIA (1990)

Keyphrases

reasoning about actions
proof search
logic programming
transition systems
classical logic
action theories
program synthesis
machine learning
inductive learning
automated reasoning
multi valued
functional programs
genetic algorithm
concept learning
modal logic
predicate logic