2106 search results - page 135 / 422 » Operational Semantics for DyLPs |
169
click to vote
LOGCOM
2008
15 years 6 months ago
2008
The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classical work in belief revision focuses on i...
190
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
140
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
180
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
179
click to vote
OTM
2007
Springer
16 years 17 days ago
2007
Springer
We present a pragmatic extension of a Semantic Web query language (including so-called grounded conjunctive queries) with a termination safe functional expression language. This ad...