3446 search results - page 54 / 690 » A Reasoning Algorithm for pD* |
IJCAI
2007
15 years 2 months ago
2007
Numerous logics have been developed for reasoning about inconsistency which differ in (i) the logic to which they apply, and (ii) the criteria used to draw inferences. In this pap...
112
click to vote
LFP
1992
15 years 2 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
106
click to vote
CCIA
2009
Springer
15 years 2 months ago
2009
Springer
When an agent receives a query from another agent, it tries to satisfy it by building an answer based on its current knowledge. Depending on the available time or the urgency of t...
WWW
2009
ACM
16 years 2 months ago
2009
ACM
Due to the lexical gap between questions and answers, automatically detecting right answers becomes very challenging for community question-answering sites. In this paper, we prop...
COOPIS
2002
IEEE
15 years 6 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...