3773 search results - page 65 / 755 » Logical Reasoning |
LPKR
1997
Springer
15 years 1 months ago
1997
Springer
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two different typ...
IJCAI
2007
14 years 11 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...
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
ESWS
2010
Springer
15 years 2 months ago
2010
Springer
—We present an intelligent service matchmaker, called iSeM, for adaptive and hybrid semantic service selection that exploits the full semantic profile in terms of signature anno...
DLOG
2010
14 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...