2395 search results - page 104 / 479 » Reasoning in Semantic Wikis |
127
click to vote
RR
2007
Springer
15 years 10 months ago
2007
Springer
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
162
click to vote
ICLP
1992
Springer
15 years 8 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
138
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
316
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
Handling exceptions in a knowledge-based system has been considered as an important issue in many domains of applications, such as medical domain. In this paper, we propose severa...
156
click to vote
NMELP
1994
15 years 8 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...