3552 search results - page 297 / 711 » Proof theory in the abstract |
171
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
135
Voted
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
146
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The rank/activity restriction on binary resolution is introduced. It accepts only a single derivation tree from a large equivalence class of such trees. The equivalence c...
188
Voted
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
116
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We have developed a general denition of segregation in the context of Z system specications. This denition is general enough to allow multi-way communications between otherwise seg...