3776 search results - page 324 / 756 » Partition-Based Logical Reasoning |
131
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
135
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
157
click to vote
LOPSTR
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
115
click to vote
ICLP
1990
Springer
15 years 8 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
123
click to vote
DEON
2004
Springer
15 years 8 months ago
2004
Springer
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to ...