Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

SUM
2009
Springer

favoriteEmaildiscussreport

72views Information Technology» more SUM 2009»

Query Answering in Belief Logic Programming

13 years 11 months ago

Query Answering in Belief Logic Programming

Download www.cs.sunysb.edu

Abstract. In this paper we introduce a ﬁxpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from diﬀerent sources of information. Based on this semantics, we develop eﬃcient algorithms that can answer queries for non-ground programs with the help of an SLD-like procedure. We also analyze the computational complexity of the algorithms and illustrate their uses.

Hui Wan, Michael Kifer

Real-time Traffic

Correlate Evidence | Information Management | Quantitative Logic Programming | SUM 2009 | ﬁxpoint Semantics |

claim paper

Related Content

» Reasoning About the Safety of Information From Logical Formalization to Operational Defini...

» Using Answer Sets to Solve Belief Change Problems

» Beliefs in Agent Implementation

» Safe beliefs for propositional theories

» Inductive Negotiation in Answer Set Programming

» Query Answering in Inconsistent Databases

» The consistency extractor system Answer set programs for consistent query answering in dat...

» Answer Sets for Consistent Query Answering in Inconsistent Databases

» Uncertainty Management in Logic Programming Simple and Effective TopDown Query Answering

Post Info
More Details (n/a)

Added	27 May 2010
Updated	27 May 2010
Type	Conference
Year	2009
Where	SUM
Authors	Hui Wan, Michael Kifer

Comments (0)