504 search results - page 51 / 101 » Reasoning about local properties in modal logic |
113
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
112
Voted
LICS
1996
IEEE
15 years 6 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
125
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
108
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There i...
94
Voted
AAAI
1994
15 years 3 months ago
1994
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumpti...