Horn Clauses for Communicating Timed Systems.

Hossein Hojjat Philipp Rümmer Pavle Subotic Wang Yi

Published in: HCVS (2014)

Keyphrases

horn clauses
distributed systems
computer systems
expert systems
domain knowledge
artificial intelligence
decision trees
pairwise
prior knowledge
petri net
first order logic
conceptual clustering