3793 search results - page 440 / 759 » Expressive Description Logics |
201
click to vote
OTM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...
172
click to vote
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
172
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...
165
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
180
click to vote
EGC
2005
Springer
16 years 7 days ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...