3891 search results - page 133 / 779 » A logic for strategic reasoning |
151
click to vote
ICSM
2008
IEEE
16 years 24 days ago
2008
IEEE
Distribution of effort in software engineering process has been the basis for facilitating more reasonable software project planning. This paper reports empirical results on activ...
119
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
128
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
This paper introduces the imps proof script mechanism and some practical methods for exploiting it.
160
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
173
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...