6608 search results - page 963 / 1322 » On the Completeness of Model Checking |
206
click to vote
LORI
2009
Springer
16 years 4 days ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
210
click to vote
PAKDD
2009
ACM
16 years 4 days ago
2009
ACM
Abstract. Recently, the variational Bayesian approximation was applied to probabilistic matrix factorization and shown to perform very well in experiments. However, its good perfor...
184
click to vote
SOCO
2009
Springer
16 years 3 days ago
2009
Springer
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting the behavior of objects to be ...
233
click to vote
ATAL
2001
Springer
16 years 2 days ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
243
Voted
DBPL
2001
Springer
16 years 2 days ago
2001
Springer
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...