2136 search results - page 174 / 428 » A Game-Theoretic Operational Semantics |
132
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
160
Voted
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
103
Voted
ENTCS
2007
15 years 3 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
101
Voted
CONNECTION
2004
15 years 3 months ago
2004
Evidence from recent psycholinguistic experiments suggests that humans resolve reference incrementally in the presence of constraining visual context. In this paper, we present an...
138
click to vote
APAL
2010
15 years 2 months ago
2010
The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Lukasiewicz infinite-valued logic [CDM99], [MMM07...