1634 search results - page 219 / 327 » Reasoning about Knowledge Using Rough Sets |
101
click to vote
SCP
2008
15 years 3 months ago
2008
This paper shows that program algebra (PGA) [8] offers a mathematical and systematic framework for reasoning about correctness and equivalence of algorithms and transformation rul...
114
click to vote
ICALT
2008
IEEE
15 years 9 months ago
2008
IEEE
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
116
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
116
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
116
Voted
ISMIS
2005
Springer
15 years 8 months ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...