160
Voted
RR
15 years 9 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 ...
135
Voted
RR
15 years 9 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...
162
Voted
RR
15 years 7 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...
118
Voted
RR
15 years 9 months ago
2009 Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
98
Voted
RR
15 years 9 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, ...
|
Automated Reasoning