5086 search results - page 253 / 1018 » The Power of Comparative Reasoning |
185
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
151
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a new learning scheme for SAT is proposed. The originality of our approach arises from its ability to achieve clause learning even if no conflict occurs. This clear...
141
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
149
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
176
click to vote
OTM
2007
Springer
16 years 20 days ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...