3515 search results - page 112 / 703 » On the semantics of Strategy Logic |
209
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
174
click to vote
LICS
2002
IEEE
16 years 1 days ago
2002
IEEE
This paper presents an algorithm for a non-standard logicminimization problem that arises in £ -valued propositional logic. The problem is motivated by the potential for obtainin...
179
click to vote
RULEML
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
201
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
Most of the approaches for dealing with uncertainty in the Semantic Web rely on the principle that this uncertainty is already asserted. In this paper, we propose a new approach t...
225
click to vote
LANMR
2004
15 years 8 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...