565 search results - page 24 / 113 » A logic for authorization provenance |
AAAI
1998
13 years 9 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...
KSEM
2010
Springer
13 years 6 months ago
2010
Springer
Given the proven usefulness of ontologies in many areas, the representation of logical axioms associated to ontological concepts and relations has become an important task in order...
IWANN
2009
Springer
14 years 2 months ago
2009
Springer
We survey on the theoretical and practical developments of the theory of fuzzy logic and soft computing. Specifically, we briefly review the history and main milestones of fuzzy ...
TASE
2008
IEEE
14 years 1 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
TACAS
2001
Springer
13 years 12 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...