3773 search results - page 340 / 755 » Logical Reasoning |
192
click to vote
IJCAI
2003
15 years 8 months ago
2003
Degrees of information and of contradiction are investigated within a uniform propositional framework, based on test actions. We consider that the degree of information of a propo...
178
click to vote
RR
2007
Springer
16 years 26 days ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
155
click to vote
ECSQARU
2007
Springer
16 years 28 days ago
2007
Springer
A sufficient condition is given for a probability function in Inductive Logic (with relations of all arities) satisfying spectrum exchangeability to additionally satisfy Language ...
174
click to vote
ICLP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
159
click to vote
LPNMR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...