2106 search results - page 128 / 422 » Operational Semantics for DyLPs |
185
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
197
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
216
click to vote
CODASPY
2012
14 years 2 months ago
2012
Usage control is concerned with how data is used after access to it has been granted. As such, it is particularly relevant to end users who own the data. System implementations of...
156
click to vote
CEEMAS
2003
Springer
15 years 11 months 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...
168
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Semantic Web technologies such as RDF are usually incorporated in the infrastructure of desktop and web applications and can currently not be entirely deployed on mobile ...