504 search results - page 39 / 101 » Reasoning about local properties in modal logic |
105
Voted
AI
2005
Springer
15 years 1 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
109
click to vote
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
119
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
129
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
113
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...