On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions.

Ievgen Ivanov Mykola S. Nikitchenko

Published in: ICTERI Workshops (2018)

Keyphrases

logic programming
association rules
sufficient conditions
classification rules
bayesian networks
rule discovery
computational properties
defeasible logic
logical rules
rough sets
input data
nonmonotonic logics
rule engine