A Predicate Logic-Defined Specification Method for Systems Deployed by Intercloud Brokerages.

Katsunori Miura Masaharu Munetomo

Published in: IC2E Workshops (2016)

Keyphrases

predicate logic
prior knowledge
high level
search engine
similarity measure
keywords
expert systems
email
graphical models