170 search results - page 19 / 34 » Contextual Deontic Logic |
RIDE
1999
IEEE
15 years 2 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
RULEML
2010
Springer
14 years 8 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
SAC
2009
ACM
15 years 5 months ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...
JETAI
2000
14 years 10 months ago
2000
In this paper we provide a foundation of a theory of contextual reasoning from the perspective of a theory of knowledge representation. Starting from the so-called metaphor of the...
LICS
2009
IEEE
15 years 5 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...