2685 search results - page 261 / 537 » A Formal Semantics for SPKI |
183
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
136
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Understanding the structure of knowledge communities, and particularly the organization of "epistemic communities", or groups of agents sharing common knowledge concerns...
173
click to vote
LOGCOM
2002
15 years 6 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
141
click to vote
TOPLAS
2008
15 years 5 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
199
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...