Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic.

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

manufacturing systems
multi valued
predicate logic
information systems
multiscale
modal logic
distribution network
formal theory
holonic manufacturing systems
logic programming
temporal logic
qualitative reasoning
logical framework
deontic logic
proof theory