5818 search results - page 863 / 1164 » A reasonable Semantic Web |
178
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
194
click to vote
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
213
click to vote
ASP
2005
Springer
16 years 10 days ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
209
click to vote
ASP
2005
Springer
16 years 10 days ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
159
click to vote
LPNMR
2005
Springer
16 years 8 days ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...