73 search results - page 4 / 15 » Reasoning about Implicit Invocation |
111
Voted
ATAL
2011
Springer
13 years 9 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
TCS
2008
14 years 9 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
79
Voted
ICAIL
2005
ACM
15 years 3 months ago
2005
ACM
This paper analyses the phenomenon of a shift of the burden of proof in legal persuasion dialogues. Some sample dialogues are analysed of types of situations where such a shift ma...
100
Voted
FMOODS
2003
14 years 11 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
169
click to vote
COSIT
2011
Springer
13 years 9 months ago
2011
Springer
If spatial cognition hopes to understand memory of and reasoning about real-world environments, then all aspects of the environment, both spatial and non-spatial need to be conside...