1269 search results - page 118 / 254 » Pi-Calculus in Logical Form |
107
click to vote
UAI
1993
15 years 2 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...
102
click to vote
AAMAS
2008
Springer
15 years 26 days ago
2008
Springer
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...
112
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
98
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
95
Voted
JANCL
2007
15 years 19 days ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...