1536 search results - page 196 / 308 » The Underlying Logic of Hoare Logic |
162
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
159
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
154
click to vote
HYBRID
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
159
click to vote
IFM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
161
click to vote
ILP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...