| Alternate document: Details Probabilistic Logic Programming under Maximum Entropy (99) Thomas Lukasiewicz, Gabriele Kern-Isberner |
(Enter summary)
Abstract: We study the problem of probabilistic deduction with conditional constraints over basic
events. We show that globally complete probabilistic deduction with conditional constraints
over basic events is NP-hard. We then concentrate on the special case of probabilistic
deduction in conditional constraint trees. We elaborate very efficient techniques for globally
complete probabilistic deduction. In detail, for conditional constraint trees with point
probabilities, we present a local approach to... (Update)
Context of citations to this paper: More
.... knowledge about concepts and roles, and which is essentially based on probabilistic reasoning in probabilistic logics, similar to [24,1,6,21]. The work [9] however, does not allow for assertional knowledge about concept and role instances. Also Jaeger [18] gives a...
.... divided into local approaches based on local inference rules and global ones using linear optimization techniques (see especially [31, 30] on the issue of local versus global approaches) As shown by Georgakopoulos et al. 21] deciding satisfiability and logical consequence...
Cited by: More
Probabilistic Logic under Coherence: Complexity and Algorithms - Biazzo (2002)
(Correct)
Nonmonotonic Probabilistic Logics between Model-Theoretic.. - Lukasiewicz (2002)
(Correct)
Probabilistic Logic under Coherence.. - Biazzo, Gilio.. (2002)
(Correct)
Similar documents (at the sentence level):
16.5%: Probabilistic Deduction with Conditional Constraints over Basic .. - Lukasiewicz (1998)
(Correct)
Active bibliography (related documents): More All
0.6: Efficient Global Probabilistic Deduction from Taxonomic and.. - Lukasiewicz (1997)
(Correct)
0.5: Probabilistic Logic Programming with Conditional Constraints - Lukasiewicz (2000)
(Correct)
0.5: Magic Inference Rules for Probabilistic Deduction under.. - Lukasiewicz (1998)
(Correct)
Similar documents based on text: More All
0.2: Probabilistic and Truth-Functional Many-Valued Logic.. - Thomas Lukasiewicz (1998)
(Correct)
0.2: Probabilistic Logic Programming under Maximum Entropy - Lukasiewicz, Kern-Isberner (1999)
(Correct)
0.1: Many-Valued First-Order Logics with Probabilistic Semantics - Thomas Lukasiewicz (1998)
(Correct)
Related documents from co-citation: More All
30: Local probabilistic deduction from taxonomic and probabilistic knowledge-bases o.. (context) - Lukasiewicz
28: Probabilistic logic (context) - Nilsson - 1986
27: A logic for reasoning about probabilities
- Fagin, Halpern et al. - 1990
BibTeX entry: (Update)
T. Lukasiewicz. Probabilistic deduction with conditional constraints over basic events. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference, pages 380--391. Morgan Kaufmann Publishers, 1998. http://citeseer.ist.psu.edu/lukasiewicz99probabilistic.html More
@incollection{ lukasiewicz98probabilistic,
author = "Thomas Lukasiewicz",
title = "Probabilistic Deduction with Conditional Constraints over Basic Events",
booktitle = "{KR}'98: Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "San Francisco, California",
editor = "Anthony G. Cohn and Lenhart Schubert and Stuart C. Shapiro",
pages = "380--391",
year = "1998",
url = "citeseer.ist.psu.edu/lukasiewicz99probabilistic.html" }
Citations (may not include all citations):
4212
Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
1543
Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988
717
Theory of Linear and Integer Programming (context) - Schrijver - 1986
129
Representing and Reasoning with Probabilistic Knowledge: A L.. (context) - Bacchus - 1990
108
Probabilistic logic (context) - Nilsson - 1986
108
Logical Foundations of Probability (context) - Carnap - 1950
104
Combinatorial Optimization (context) - Papadimitriou, Steiglitz - 1982
60
The Logic of Conditionals (context) - Adams - 1975
55
A semantical framework for supporting subjective and conditi..
- Ng, Subrahmanian - 1993
50
From statistical knowledge bases to degrees of beliefs
- Bacchus, Grove et al. - 1996
38
Probabilistic deduction with conditional constraints over ba..
- Lukasiewicz
36
Constraint propagation with imprecise conditional probabilit.. (context) - Amarger, Dubois et al. - 1991
33
Local probabilistic deduction from taxonomic and probabilist.. (context) - Lukasiewicz
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
28
Probabilistic description logics (context) - Heinsohn - 1994
27
Coherent numerical and ordinal probabilistic assessments (context) - Coletti - 1994
24
Inference with imprecise numerical quantifiers (context) - Dubois, Prade et al. - 1990
18
On cautious probabilistic inference and default detachment
- Thone, KieBetaling et al. - 1995
16
Probabilistic logic revisited (context) - Nilsson - 1993
13
Qualitative reasoning with imprecise probabilities (context) - Dubois, Prade et al. - 1993
11
Models and algorithms for probabilistic and Bayesian logic (context) - Hansen, Jaumard et al. - 1995
11
Magic inference rules for probabilistic deduction under taxo..
- Lukasiewicz
11
A linear programming approach to reasoning about probabiliti.. (context) - Kavvadias, Papadimitriou - 1990
9
Precision of Probabilistic Deduction under Taxonomic Knowled.. (context) - Lukasiewicz - 1996
8
Probabilistic Logic (context) - Paass - 1988
8
Many-valued first-order logics with probabilistic semantics
- Lukasiewicz
8
On fuzzy syllogisms (context) - Dubois, Prade - 1988
8
Precise Conclusion under Uncertainty and Incompleteness in D.. (context) - Thone - 1994
5
Anytime decision making with imprecise probabilities (context) - Pittarelli - 1994
4
Bayesian logic (context) - Andersen, Hooker - 1994
4
An analysis of first-order logics of probability (context) - on, Man et al. - 1990
3
Conditional events in probability assessment and revision (context) - Complexity, Gilio et al. - 1994
3
A logic for reasoning about probabilities (context) - Ras, Zemankova et al. - 1990
3
Stable semantics for probabilistic deductive databases (context) - with, over et al. - 1994
3
Statistical Reasoning with Imprecise Probabilities (context) - in, Intelligence et al. - 1991
3
Anytime deduction for probabilistic logic (context) - Computation, Frisch et al. - 1994
3
Probabilistic and truth-functional many-valued logic program.. (context) - appear
3
Efficient global probabilistic deduction from taxonomic and .. (context) - Dissertation, Augsburg - 1997
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