RR
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed searc...
RR
2009
Springer
14 years 5 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
RR
2009
Springer
14 years 7 months ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
RR
2009
Springer
14 years 7 months ago
2009
Springer
RR
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...
RR
2009
Springer
14 years 7 months ago
2009
Springer
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...
RR
2009
Springer
14 years 7 months ago
2009
Springer
RR
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. It is well-knwon that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome to this limitations. In this work we provide, ...
RR
2009
Springer
14 years 7 months ago
2009
Springer
RR
2009
Springer
14 years 7 months ago
2009
Springer