3239 search results - page 171 / 648 » A Logical Process Calculus |
124
Voted
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
113
click to vote
IJCAI
1993
15 years 4 months ago
1993
In this paper a framework is developed for measuring the complexities of deductions in an ab stract and computationally perspicuous man ner. As a notion of central importance ...
109
click to vote
AI
2004
Springer
15 years 3 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
120
click to vote
LADS
2007
Springer
15 years 9 months ago
2007
Springer
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The...
124
click to vote
CAAP
1990
15 years 6 months ago
1990
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...