187 search results - page 1 / 38 » On Expressive and Model Checking Power of Propositional Prog... |
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
ASP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
JAPLL
2006
13 years 5 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
AI
2005
Springer
13 years 5 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
SIGSOFT
2003
ACM
13 years 10 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...