3994 search results - page 108 / 799 » A Linear Logical Framework |
121
click to vote
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
123
click to vote
TPHOL
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
109
Voted
ECAI
1998
Springer
15 years 4 months ago
1998
Springer
This paper proposes a logic for causal based on event trees. Event trees provide a natural and familiar framework for probability and decision theory, but they lack the modularity...
84
Voted
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
159
click to vote
DANCE
2002
IEEE
15 years 5 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...