153
click to vote
FROCOS
15 years 7 months ago
2009 Springer 
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
110
click to vote
FROCOS
15 years 7 months ago
2009 Springer 
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
137
click to vote
FROCOS
15 years 7 months ago
2009 Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
144
click to vote
FROCOS
15 years 7 months ago
2009 Springer 
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
|
Control Systems