| Alternate document: Details Probabilistic Default Reasoning with Conditional Constraints (00) Thomas Lukasiewicz |
| Alternate document: Details Probabilistic Default Reasoning with Strict and Defeasible (00) Thomas Lukasiewicz |
| Alternate document: Details Probabilistic Default Reasoning with Conditional Constraints (00) Thomas Lukasiewicz |
Thomas Lukasiewicz  Home/Search
Context Related
| kr.tuwien.ac.at/staff/lu...rr0001.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: kr.tuwien.ac.at...iewicz.personal (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We introduce a new approach to probabilistic logic programming in which probabilities are defined over a set of possible worlds. More precisely, classical program clauses are extended by a subinterval of [0; 1] that describes a range for the conditional probability of the head of a clause given its body. We then analyze the complexity of selected probabilistic logic programming tasks. It turns out that probabilistic logic programming is computationally more complex than classical logic... (Update)
Context of citations to this paper: More
.... in probabilistic logic, which ranges from constraints for unconditional and conditional events [AMA 91, FRI 94, LUK 99a, LUK 99b, LUK 01, NIL 86] to rich languages that specify linear inequalities over events [FAG 90] The main problems related to model theoretic...
.... in model theoretic probabilistic logic, ranging from constraints for unconditional and conditional events [16, 20, 2, 53, 19, 23, 33, 45, 39, 40, 42, 46] to rich languages that specify linear inequalities over events [22] The main problems related to model theoretic...
Cited by: More
Sorted Multi-Adjoint Logic Programs: - Termination Results And (Correct)
A Tabulation Proof Procedure for Residuated Logic.. - Damasio, Medina.. (2003) (Correct)
Probabilistic Logic under Coherence: Complexity and Algorithms - Biazzo (2002) (Correct)
Active bibliography (related documents): More All
1.6: Combining Probabilistic Logic Programming With The Power . . . - Kern-Isberner, al. (2002) (Correct)
0.8: Probabilistic Logic Programming under Inheritance with Overriding - Lukasiewicz (2001) (Correct)
0.8: Probabilistic and Truth-Functional Many-Valued Logic.. - Thomas Lukasiewicz (1998) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
1.7: Probabilistic Logic under Coherence, Model-Theoretic.. - Biazzo, al. (2002) (Correct)
1.7: Probabilistic Logic under Coherence, Model-Theoretic.. - Biazzo, al. (2002) (Correct)
1.4: Causes and Explanations in the Structural-Model Approach.. - Eiter, al. (2002) (Correct)
Related documents from co-citation: More All
23: A logic for reasoning about probabilities - Fagin, Halpern et al. - 1990
21: Probabilistic logic (context) - Nilsson - 1986
20: Anytime deduction for probabilistic logic - Frisch, Haddawy - 1994
BibTeX entry: (Update)
T. Lukasiewicz. Probabilistic logic programming with conditional constraints. Technical Report 1843-00-01, Institut fur Informationssysteme, Technische Universitat Wien, 2000. http://citeseer.ist.psu.edu/lukasiewicz00probabilistic.html More
@article{ lukasiewicz01probabilistic,
author = "Thomas Lukasiewicz",
title = "Probabilistic logic programming with conditional constraints",
journal = "ACM Transactions on Computational Logic",
volume = "2",
number = "3",
pages = "289--339",
year = "2001",
url = "citeseer.ist.psu.edu/lukasiewicz00probabilistic.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
1838 Foundations of Logic Programming (context) - Lloyd - 1987
1543 Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988
951 Computational Complexity (context) - Papadimitriou - 1994
717 Theory of Linear and Integer Programming (context) - Schrijver - 1986
274 A catalog of complexity classes (context) - Johnson - 1990
192 Logic programming (context) - Apt - 1990
191 Linear-time algorithms for testing the satisfiability of pro.. (context) - Dowling, Gallier - 1984
159 Predicate logic as a programming language (context) - Kowalski - 1974
138 Probabilistic Horn abduction and Bayesian networks - Poole - 1993
137 An analysis of first-order logics of probability - Halpern - 1990
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. - 1990
108 Logical Foundations of Probability (context) - Carnap - 1950
108 Probabilistic logic (context) - Nilsson - 1986
106 Paraconsistent logic programming (context) - Blair, Subrahmanian - 1989
79 Probabilistic logic programming - Ng, Subrahmanian - 1992
75 Complexity and expressive power of logic programming - Dantsin, Eiter et al. - 1997
66 Linear Programming (context) - Chvatal - 1983
55 A semantical framework for supporting subjective and conditi.. - Ng, Subrahmanian - 1993
51 Hybrid probabilistic programs - Dekhtyar, Subrahmanian - 1997
51 Anytime deduction for probabilistic logic - Frisch, Haddawy - 1994
50 From statistical knowledge bases to degrees of beliefs - Bacchus, Grove et al. - 1996
49 More complicated questions about maxima and minima (context) - Wagner - 1987
42 Algorithms and Complexity (context) - Papadimitriou, Steiglitz - 1982
42 Quantitative deduction and its fixpoint theory (context) - van Emden - 1986
39 Probabilistic deductive databases - Lakshmanan, Sadri - 1994
38 Stable semantics for probabilistic deductive databases (context) - Ng, Subrahmanian - 1994
38 Probabilistic deduction with conditional constraints over ba.. - Lukasiewicz - 1999
37 Evidential support logic programming (context) - Baldwin - 1987
36 Constraint propagation with imprecise conditional probabilit.. (context) - Amarger, Dubois et al. - 1991
36 Theory of Probability (context) - de Finetti - 1974
35 Generating Bayesian networks from probability logic knowledg.. - Haddawy - 1994
33 Local probabilistic deduction from taxonomic and probabilist.. (context) - Lukasiewicz - 1999
32 Many-valued Logic (context) - Rescher - 1969
31 Concerning measures in first order calculi (context) - Gaifman - 1964
31 Column generation methods for probabilistic logic (context) - Jaumard, Hansen et al. - 1991
30 Probabilistic satisfiability (context) - Georgakopoulos, Kavvadias et al. - 1988
29 Probabilistic logic programming - Lukasiewicz - 1998
28 Answering queries from context-sensitive probabilistic knowl.. - Ngo, Haddawy - 1997
24 Inference with imprecise numerical quantifiers (context) - Dubois, Prade et al. - 1990
24 Relational Bayesian networks - Jaeger - 1997
22 Linear programming (context) - Goldfarb, Todd - 1989
21 The Uncertain Reasoner's Companion: A Mathematical Perspecti.. (context) - Paris - 1995
21 A generalization of the fundamental theorem of de Finetti fo.. (context) - Biazzo, Gilio - 2000
21 and Control (context) - Zadeh, Inform - 1965
19 Probabilistic default reasoning with conditional constraints - Lukasiewicz - 2000
17 Hybrid probabilistic programs: Algorithms and complexity - Dekhtyar, Dekhtyar et al. - 1999
16 abduction and probability (context) - Poole - 1993
15 Assigning probabilities to logical formulas (context) - Scott, Krauss - 1966
15 Exploiting data dependencies in many-valued logics - Hahnle - 1996
14 Programming with linear fractional functionals (context) - Charnes, Cooper - 1962
14 and query processing of empirical deductive databases (context) - Ng, consistency - 1997
13 Qualitative reasoning with imprecise probabilities (context) - Dubois, Prade et al. - 1993
11 Efficient global probabilistic deduction from taxonomic and .. - Lukasiewicz - 1997
11 Logic programming with signs and annotations (context) - Lu - 1996
11 A linear programming approach to reasoning about probabiliti.. (context) - Kavvadias, Papadimitriou - 1990
11 Algorithmen zur Formalen Begriffsanalyse (context) - Ganter - 1987
11 Decision Support Systems (context) - Andersen, Hooker - 1994
10 Query processing in annotated logic programming: Theory and .. (context) - Leach, Lu - 1996
10 Probabilistic and truth-functional many-valued logic program.. - Lukasiewicz - 1999
9 Computing probability intervals under independency constrain.. (context) - van der Gaag - 1991
9 Many-valued disjunctive logic programs with probabilistic se.. - Lukasiewicz - 1999
8 Many-valued first-order logics with probabilistic semantics - Lukasiewicz - 1999
8 Probabilistic logic programming under maximum entropy - Lukasiewicz, Kern-Isberner - 1999
6 Credal networks under maximum entropy - Lukasiewicz - 2000
6 Boole's logic and probability (context) - Hailperin - 1986
3 the complexity of inference about probabilistic relational m.. - Jaeger - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.kr.tuwien.ac.at/staff/lukasiew/lukasiewicz.personal.html): More
Probabilistic Deduction with Conditional Constraints over Basic .. - Lukasiewicz (1998) (Correct)
Many-Valued Disjunctive Logic Programs with Probabilistic.. - Lukasiewicz (1999) (Correct)
Uncertain Reasoning in Concept Lattices - Lukasiewicz (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