517 search results - page 81 / 104 » Using dynamic logic programming to model legal reasoning |
190
click to vote
GLOBAL
2003
Springer
15 years 7 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
123
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
98
Voted
ENC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
108
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...