Raymond Ng, V.S. Subrahmanian  Home/Search
Context Related
| umd.edu/users/vs/papers/jar93.ps 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: umd.edu/users/vs/pap...probpapers (more) Homepages: R.Ng |
Rate this article:      (best)Comment on this article |
Abstract: We present a theoretical basis for supporting subjective and conditional probabilities in deductive databases. We design a language that allows a user greater expressive power than classical logic programming. In particular, a user can express the fact that A is possible (i.e. A has non-zero probability), B is possible, but (A B) as a whole is impossible. A user can also freely specify probability annotations that may contain variables. The focus of this paper is to study the semantics of... (Update)
Context of citations to this paper: More
.... been carried out by Ng and Subrahmanian who have considered the use of probabilities in deductive databases and logic programs [101, 104]. To do this they allow logical clauses to be annotated with a probability interval, and provide rules for establishing the bounds on...
...logic programming. In particular, Ng [52] concentrates on probabilities over the domain, while Subrahmanian and his group [53, 54, 8, 9] focus on annotation based approaches to degrees of belief. Another approach to probabilistic logic programming with degrees of...
Cited by: More
Non-monotonic Negation in Hybrid Probabilistic Logic Programs - Saad, Pontelli (Correct)
New Semantics for Hybrid Probabilistic Programs - Saad (Correct)
Extending Disjunctive Logic Programming - Norms Cristinel Mateis (Correct)
Similar documents (at the sentence level):
7.0%: Probabilistic Logic Programming - Ng, Subrahmanian (1992) (Correct)
Active bibliography (related documents): More All
0.6: On A Theory of Probabilistic Deductive Databases - Lakshmanan, Sadri (1997) (Correct)
0.4: Semantics, Consistency and Query Processing of Empirical Deductive.. - Ng (1997) (Correct)
0.3: Reasoning with Probabilities, Time And Space - Dekhtyar (1999) (Correct)
Similar documents based on text: More All
0.1: Temporal Agent Programs - Dix, Kraus, Subrahmanian (2000) (Correct)
0.1: Meta-Agent Programs - Jürgen Dix, V.S. Subrahmanian.. (1998) (Correct)
0.1: Intelligent Caching in Heterogeneous Reasoning and Mediator.. - Sibel Adali And (1995) (Correct)
Related documents from co-citation: More All
34: Probabilistic logic programming - Ng, Subrahmanian - 1992
26: Theory of generalized annotated logic programming and its applications - Kifer, Subrahmanian - 1992
25: Foundations of Logic Programming (context) - Lloyd - 1987
BibTeX entry: (Update)
Raymond T. Ng and V.S. Subramanian. A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. In Proceedings of the 8th International Conference in Logic Programming, pages 565--580, 1991. http://citeseer.ist.psu.edu/ng91semantical.html More
@inproceedings{ raymond91semantical,
author = "Ng, Raymond T. and Subrahmanian, V. S.",
title = "A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases",
booktitle = "Proceedings of the Eighth International Conference on Logic Programming",
publisher = "The MIT Press",
editor = "Furukawa, Koichi",
pages = "565--580",
year = "1991",
url = "citeseer.ist.psu.edu/ng91semantical.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
1543 Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988
717 Theory of Linear and Integer Programming (context) - Schrijver - 1986
625 A Mathematical Theory of Evidence (context) - Shafer - 1976
322 Fuzzy Sets (context) - Zadeh - 1965
181 Mathematical Logic (context) - Shoenfield - 1967
134 Theory of Generalized Annotated Logic Programming and its Ap.. - Kifer, Subrahmanian - 1991
129 Representing and Reasoning with Probabilistic Knowledge (context) - Bacchus - 1988
129 A Polynomial Algorithm in Linear Programming (context) - Khachiyan - 1979
120 Bilattices and the Semantics of Logic Programming - Fitting - 1988
110 A Logic for Reasoning About Probabilities - Fagin, Halpern et al. - 1989
108 The Logical Foundations of Probability (context) - Carnap - 1962
108 Probabilistic Logic (context) - Nilsson - 1986
106 Paraconsistent Logic Programming (context) - Blair, Subrahmanian - 1987
99 Multivalued Logics: A Uniform Approach to Reasoning in Artif.. (context) - Ginsberg - 1988
87 An Efficient Unification Algorithm (context) - Martelli, Montanari - 1982
79 A Generalization of Bayesian Inference (context) - Dempster - 1968
79 Probabilistic Logic Programming - Ng, Subrahmanian - 1990
67 Subjective Bayesian Methods for Rulebased Inference Systems (context) - Duda, Hart et al. - 1976
42 Quantitative Deduction and its Fixpoint Theory (context) - van Emden - 1986
42 The Logical Foundations of Statistical Inference (context) - Kyburg - 1974
40 the Semantics of Rule-Based Expert Systems with Uncertainty (context) - Kifer, Li - 1988
38 Linear Programming in Infinite-Dimensional Spaces: Theory an.. (context) - Anderson, Nash - 1987
37 Evidential Support Logic Programming (context) - Baldwin - 1987
37 the Semantics of Quantitative Logic Programs (context) - Subrahmanian - 1987
37 Logic Programs with Uncertainties: A Tool for Implementing E.. (context) - Shapiro - 1983
33 Foundations of the Theory of Probability (context) - Kolmogorov - 1956
31 Logic Programming on a Topological Bilattice (context) - Fitting - 1988
31 Concerning Measures in First Order Calculi (context) - Gaifman - 1964
22 RI: A Logic for Reasoning with Inconsistency (context) - Kifer, Lozinskii - 1989
22 Belief and Probability (context) - Fagin, Halpern - 1988
15 Assigning Probabilities to Logical Formulas (context) - Scott, Krauss - 1966
14 Mechanical Proof Procedures for Many Valued Lattice Based Lo.. (context) - Subrahmanian - 1988
12 Paraconsistent Foundations for Logic Programming (context) - Blair, Subrahmanian - 1988
11 Fuzzy Algorithms (context) - Zadeh - 1968
9 the Declarative Semantics of Inheritance Networks (context) - Kifer, Krishnaprasad et al. - 1989
9 An Evidence Based Framework for a Theory of Inheritance (context) - Kifer, Krishnaprasad - 1989
7 Probability Logic (context) - Hailperin - 1984
7 Unified Theory of multivalued logical operations in the ligh.. (context) - Bandler, Kohout - 1984
6 The Structure of Probabilities Defined on First-Order Langua.. (context) - Fenstad - 1980
6 Logical Foundations of Probability Theory (context) - Lukasiewicz - 1970
3 An Elementary Introduction to the Theory of Probability (context) - Gnedenko, Khinchin - 1962
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.umd.edu/users/vs/papers/probpapers.html):
ProbView: A Flexible Probabilistic Database System - Lakshmanan, Leone, Ross.. (1997) (Correct)
Probabilistic Logic Programming - Ng, Subrahmanian (1992) (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