C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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