2291 search results - page 116 / 459 » Logic Programming and Model Checking |
116
Voted
APAL
2006
15 years 2 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
139
Voted
FOIKS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
124
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
168
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
