Laks V.S. Lakshmanan  Home/Search
Context Related
| cs.concordia.ca/pub/la...fsttcs94.ps.gz cs.concordia.ca/pub/la...fsttcs94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.concordia.ca/~faculty...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper is primarily with probabilistic extensions to logic programming and deductive databases. Substantial work has been done in this area (see Section 6 for a brief survey). One criticism (e.g. see [17]) leveled against probabilistic approaches for uncertainty management is how the probabilities representing degree of likelihood can be (Update)
Context of citations to this paper: More
...and originality of this approach. Section 7 discusses future research. For lack of space, proofs of results are omitted. The full paper [11] contains the proofs and complete details about the framework, a sound and complete proof procedure, and the complexity results on some...
...uncertainty. Lakshmanan and Sadri [31] pursue the deductive extension of this model using the implication based approach. Lakshmanan [28] generalizes the idea behind IST to model uncertainty by characterizing the set of (complex) scenarios under which certain (derived)...
Cited by: More
Default Knowledge in Logic Programs with Uncertainty - Yann Loyer And (2003) (Correct)
New Semantics for Hybrid Probabilistic Programs - Saad (Correct)
A Parametric Approach to Deductive Databases with Uncertainty - Lakshmanan (1997) (Correct)
Active bibliography (related documents): More All
0.6: On A Theory of Probabilistic Deductive Databases - Lakshmanan, Sadri (1997) (Correct)
0.3: ProbView: A Flexible Probabilistic Database System - Lakshmanan, Leone, Ross.. (1997) (Correct)
0.2: Hybrid Probabilistic Programs - Dekhtyar, Subrahmanian (1997) (Correct)
Similar documents based on text: More All
0.2: On Implementing SchemaLog - A Database Programming Language - Andrews, Lakshmanan.. (1996) (Correct)
0.2: Languages for Multi-database Interoperability - Gingras, Lakshmanan (1997) (Correct)
0.2: Probabilistic Deductive Databases - Lakshmanan, Sadri (1994) (Correct)
Related documents from co-citation: More All
6: Probabilistic logic programming - Ng, Subrahmanian - 1992
6: Probabilistic deductive databases - Lakshmanan, Sadri - 1994
6: the Semantics of Rule-Based Expert Systems with Uncertainty (context) - Kifer, Li - 1988
BibTeX entry: (Update)
Lakshmanan, Laks V.S. An epistemic foundation for logic programming with uncertainty. Technical report, Concordia University, Montreal, Canada, 1994. Preliminary version to appear in 14th Conf. on the Foundations of Software Technology and Theoretical Computer Science, December 1994. http://citeseer.ist.psu.edu/lakshmanan94epistemic.html More
@inproceedings{ lakshmanan94epistemic,
author = "Laks V. S. Lakshmanan",
title = "An Epistemic Foundation for Logic Programming with Uncertainty",
booktitle = "Foundations of Software Technology and Theoretical Computer Science",
pages = "89-100",
year = "1994",
url = "citeseer.ist.psu.edu/lakshmanan94epistemic.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1972
134 Theory of generalized annotated logic programming and its ap.. - Kifer, Subrahmanian - 1992
120 Bilattices and the semantics of logic programming - Fitting - 1991
110 A logic for reasoning about probabilities - Fagin, Halpern et al. - 1992
79 Probabilistic logic programming - Ng, Subrahmanian - 1992
55 A semantical framework for supporting subjective and conditi.. - Ng, Subrahmanian - 1990
42 Quantitative deduction and its fixpoint theory (context) - van Emden - 1986
40 the semantics of rule-based expert systems with uncertainty (context) - Kifer, Li - 1988
39 Probabilistic deductive databases - Lakshmanan, Sadri - 1994
37 Evidential support logic programming (context) - Baldwin - 1987
34 Probabilistic reasoning in intelligence systems: networks of.. (context) - Pearl - 1988
31 Logic programming on a topological bilattice (context) - Fitting - 1988
28 Modeling uncertainty in deductive databases - Lakshmanan, Sadri - 1994
26 New directions for uncertainty reasoning in deductive databa.. - Guntzer, KieBetaling et al. - 1991
15 Implementing deductive databases by linear programming (context) - Bell, Nerode et al. - 1991
12 Paraconsistent foundations for logic programming (context) - Blair, Subrahmanian - 1989
6 An epistemic foundation for logic programming with uncertain.. - Lakshmanan - 1994
6 Reliability of answers to queries in relational databases (context) - Sadri - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.concordia.ca/~faculty/laks/papers.html): More
nD-SQL: A Multi-dimensional Language for Interoperability and .. - Gingras, Lakshmanan (1998) (Correct)
Canonical Kripke Models and The Intuitionistic Semantics of.. - Dong, al. (1993) (Correct)
A Declarative Semantics for Behavioral Inheritance and.. - Jamil, Lakshmanan (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC