2272 search results - page 277 / 455 » A Calculus for |
119
click to vote
RTA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
132
click to vote
TABLEAUX
2007
Springer
15 years 10 months ago
2007
Springer
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
114
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
We study type systems for termination in the π-calculus from the point of view of type inference. We analyse four systems by Deng and Sangiorgi. We show that inference can be done...
149
click to vote
ACOM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
106
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to p...