5482 search results - page 362 / 1097 » Logic Programming and Databases |
200
click to vote
JAIR
2010
15 years 5 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
153
click to vote
CIG
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract- This paper describes the generation and utilisation of a pattern database for 19x19 go with the Knearest-neighbor representation. Patterns are generated by browsing recor...
203
click to vote
ESOP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
176
click to vote
ISTA
2003
15 years 8 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
173
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...