Expressiveness and succinctness of a logic of robustness.
John Christopher McCabe-DanstedTim FrenchSophie PinchinatMark ReynoldsPublished in: J. Appl. Non Class. Logics (2015)
Keyphrases
- modal logic
- computational properties
- expressive power
- classical logic
- logic programming
- inference rules
- monadic second order logic
- dynamic logic
- nonmonotonic logics
- automated reasoning
- default logic
- temporal logic
- information systems
- knowledge based systems
- description logics
- multiscale
- high robustness
- asynchronous circuits
- artificial intelligence
- propositional dynamic logic
- machine learning