Hierarchical State Machines as Modular Horn Clauses.

Pierre-Loïc Garoche Temesghen Kahsai Xavier Thirioux

Published in: HCVS@ETAPS (2016)

Keyphrases

horn clauses
state machines
state machine
petri net
logic programs
inference rules
first order logic
inductive logic programming
recurrent networks
fault tolerant
database queries
data mining
function symbols
database
general purpose
high level
sequence diagrams
artificial intelligence
databases