1587 search results - page 117 / 318 » The Semantics of Extended SOFL |
ATAL
2005
Springer
14 years 2 months 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...
LPNMR
1993
Springer
14 years 1 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
NN
2008
Springer
13 years 9 months ago
2008
Springer
Brain processes responsible for understanding language are approximated by spreading activation in semantic networks, providing enhanced representations that involve concepts not ...
TKDE
2010
13 years 7 months ago
2010
—We investigate techniques to automatically decompose any XQuery query—including updating queries specified by the XQuery Update Facility (XQUF)—into subqueries, that can be ...
WIKIS
2006
ACM
14 years 3 months ago
2006
ACM
Wikis are social web sites enabling a potentially large number of participants to modify any page or create a new page using their web browser. As they grow, wikis may suffer from...