17054 search results - page 225 / 3411 » Logics of Dynamical Systems |
191
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
221
click to vote
DLOG
1998
15 years 8 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
210
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
181
click to vote
ICALP
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...