356 search results - page 57 / 72 » Axiomatizing Causal Reasoning |
PERCOM
2006
ACM
15 years 11 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
103
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
105
click to vote
IRI
2007
IEEE
15 years 6 months ago
2007
IEEE
Ontology integration, alignment, and reuse are at the heart of Semantic Web vision. The alignment between two ontologies can be achieved easily provided both share the same axioma...
ECSQARU
2007
Springer
15 years 6 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...