Inductive Proof Rules Beyond Safety Properties.

Martin Köhler Klaus Schneider

Published in: MBMV (2019)

Keyphrases

rule learning
logical rules
rule sets
inductive learning
desirable properties
imperative programs
artificial intelligence
inductive logic programming
case study
domain knowledge
description logics
background knowledge
concept learning
rule extraction
rule discovery
inductive reasoning