185
click to vote
FROCOS
15 years 10 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...
146
click to vote
FROCOS
15 years 10 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...
177
click to vote
FROCOS
15 years 10 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...
187
click to vote
FROCOS
15 years 10 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