Login / Signup

SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems.

Bozena Wozna-SzczesniakAndrzej Zbrzezny
Published in: DALT (2012)
Keyphrases
  • deontic logic
  • classical logic
  • metric temporal logic
  • management system
  • information systems
  • expert systems
  • distributed systems
  • np complete
  • learning systems