811 search results - page 35 / 163 » Semantic Web Reasoning with Conceptual Logic Programs |
CSFW
2004
IEEE
14 years 22 days ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
DLOG
2010
13 years 7 months ago
2010
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
ENTCS
2002
13 years 8 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
JAIR
2007
13 years 9 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
CCIA
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...