Modal Semirings with Operators for Knowledge Representation.
Operational knowledge and practical decision making in operations