2291 search results - page 98 / 459 » Logic Programming and Model Checking |
130
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
119
click to vote
CLIMA
2004
15 years 3 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
114
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
104
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
113
click to vote
ICLP
2001
Springer
15 years 6 months ago
2001
Springer
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...