4401 search results - page 174 / 881 » Computing with Default Logic |
142
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio
148
click to vote
MFCS
2000
Springer
15 years 10 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as
194
click to vote
DLOG
1998
15 years 7 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...