CSL
1995
Springer
13 years 8 months ago
1995
Springer
We propose so called contraction free sequent calculi for the three prominent modal logics K, T, and S4. Deduction search in these calculi is shown to provide more efficient decisi...
CSL
1995
Springer
13 years 8 months ago
1995
Springer
CSL
1995
Springer
13 years 8 months ago
1995
Springer
We give an evolving algebra solution for the well-known railroad crossing problem and use the occasion to experiment with agents that perform instantaneous actions in continuous t...
CSL
1995
Springer
13 years 8 months ago
1995
Springer
CSL
1995
Springer
13 years 8 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...