5818 search results - page 864 / 1164 » A reasonable Semantic Web |
272
click to vote
FIDJI
2004
Springer
16 years 5 days ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
165
click to vote
FSTTCS
2004
Springer
16 years 5 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
180
click to vote
KR
2004
Springer
16 years 4 days ago
2004
Springer
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...
159
click to vote
LPNMR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
166
click to vote
CEEMAS
2003
Springer
16 years 10 hour ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...