6355 search results - page 359 / 1271 » From Logic to Games |
168
click to vote
IFSA
2007
Springer
16 years 29 days ago
2007
Springer
One of the important components of granular computing is interval computations. In interval computations, at each intermediate stage of the computation, we have intervals of possi...
160
click to vote
SAT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
185
click to vote
ICDAR
2005
IEEE
16 years 13 days ago
2005
IEEE
Relationships that link static documents discussed during meetings to the corresponding speech transcripts can be of various kinds. The most important ones, thematic links, quotat...
179
click to vote
SEKE
2005
Springer
16 years 9 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
170
click to vote
ECSQARU
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...