Login / Signup
Modal Logics for Reasoning about Object-based Component Composition.
Claus Pahl
Published in:
IWFM (2000)
Keyphrases
</>
modal logic
modal operators
decision procedures
temporal logic
epistemic logic
inference rules
nonmonotonic logics
default logic
classical logic
autoepistemic logic
model checking
situation calculus
web service composition
cooperative
expert systems
composite services