168
click to vote
FROCOS
15 years 8 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...
132
Voted
FROCOS
15 years 8 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...
163
Voted
FROCOS
15 years 8 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...
165
Voted
FROCOS
15 years 8 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...
132
Voted
FROCOS
15 years 8 months ago
2009 Springer  |
Control Systems