An Industrial Application of Modal Process Logic.

Published in: Sci. Comput. Program. (1997)

Keyphrases

industrial applications
modal logic
databases
real world
artificial intelligence
decision support
nonmonotonic logics