Automatic Composition of Stateless Components: A Logical Reasoning Approach.

Seyyed Vahid Hashemian Farhad Mavaddat

Published in: FSEN (2007)

Keyphrases

logical reasoning
formal semantics
image sequences
building blocks
data sets
neural network
artificial intelligence
social networks
information systems
metadata
clustering algorithm
natural language
lower bound
expert systems
mobile robot