FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
FROCOS
2009
Springer
13 years 11 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...
FROCOS
2009
Springer
13 years 11 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...
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
FROCOS
2009
Springer
13 years 11 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...
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer