2570 search results - page 442 / 514 » The Semantic Web And Its Languages |
178
click to vote
IEE
2008
15 years 6 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...
155
click to vote
CJ
2004
15 years 6 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
164
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
271
click to vote
IANDC
2000
15 years 6 months ago
2000
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...
183
click to vote
LOGCOM
2010
15 years 4 months ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...