2395 search results - page 131 / 479 » Reasoning in Semantic Wikis |
134
click to vote
ICLP
2001
Springer
15 years 9 months ago
2001
Springer
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
127
click to vote
LPNMR
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
142
click to vote
LICS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we describe the promoted tyft tyxt rule format for de ning higher-order languages. The rule format is a generalization of Groote and Vaandrager's tyft tyxt form...
123
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
The purpose of this paper is to provide a solution which allows automatic reasoning processes over Moodle activities logs, in order to obtain user-personalized recommendations. Act...
140
click to vote
FLAIRS
2006
15 years 5 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...