Design and Implementation of Diagnostic Strategies Using Modal Logic.

Peter Fröhlich Wolfgang Nejdl Michael Schroeder

Published in: JELIA (1996)

Keyphrases

modal logic
temporal logic
efficient implementation
design methodology
implementation issues
case study
design process
circuit design
user interface
inference rules
situation calculus
dynamic programming
nonmonotonic logics
dynamic logic