257 search results - page 5 / 52 » The Complexity of Model Checking for Propositional Default L... |
ERSHOV
2001
Springer
13 years 12 months ago
2001
Springer
DLOG
2007
13 years 9 months ago
2007
ECAI
2004
Springer
14 years 26 days ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
ASP
2003
Springer
14 years 21 days ago
2003
Springer
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...
LICS
1994
IEEE
13 years 11 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...