Sciweavers

19 search results - page 2 / 4
» rr 2009
Sort
View
RR
2009
Springer
14 years 2 months ago
Answer Sets in a Fuzzy Equilibrium Logic
Steven Schockaert, Jeroen Janssen, Dirk Vermeir, M...
RR
2009
Springer
14 years 2 months ago
A Minimal Deductive System for General Fuzzy RDF
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, ...
Umberto Straccia
RR
2009
Springer
14 years 4 days ago
Search for More Declarativity
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...
Simon Brodt, François Bry, Norbert Eisinger
RR
2009
Springer
14 years 2 months ago
Belief Logic Programming with Cyclic Dependencies
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...
Hui Wan
RR
2009
Springer
14 years 4 days ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
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...
Robert A. Kowalski, Fariba Sadri