17054 search results - page 261 / 3411 » Logics of Dynamical Systems |
184
click to vote
FMLDO
1999
Springer
15 years 11 months ago
1999
Springer
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...
221
click to vote
PODC
1994
ACM
15 years 11 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
175
click to vote
JSAI
2007
Springer
16 years 1 months ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
170
click to vote
WLP
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by...
153
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This work provides a framework for the observability analysis of linear networked dynamic systems (NDS). A distinction is made between NDS that have homogeneous agent d...