895 search results - page 59 / 179 » A Spectrum of Applications of Automated Reasoning |
128
Voted
ECSQARU
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
118
click to vote
ICLP
1997
Springer
15 years 8 months ago
1997
Springer
We introduce and explore a property of deductive data bases with updates wich we call total homeostaticity, and which substantially generalizes the following their property: ”fo...
141
click to vote
TIME
1994
IEEE
15 years 8 months ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
158
click to vote
CCL
1994
Springer
15 years 8 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
151
click to vote
ICLP
1993
Springer
15 years 8 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...