3342 search results - page 228 / 669 » Automating Abstract Interpretation |
106
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
112
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract There are various techniques for specifying a module of an ontology that covers all knowledge about a given set of terms. These differ with respect to the size of the modu...
98
Voted
CG
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. This paper demonstrates the use of pattern-weights in order to develop a strategy for an automated player of a non-cooperative version of the game of Diplomacy. Diplomacy...
127
Voted
CSL
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
100
click to vote
CNSM
2010
15 years 1 months ago
2010
Abstract--The automation of policy refinement, whilst promising great benefits for policy-based management, has hitherto received relatively little treatment in the literature, wit...