8232 search results - page 272 / 1647 » Dynamic Logic Programming |
181
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
187
click to vote
FMCO
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
131
click to vote
ICTAC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...
195
click to vote
ISMIS
1994
Springer
15 years 10 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
174
click to vote
JLP
2000
15 years 6 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...