Nonmonotonic Probabilistic Logics between Model−Theoretic Probabilistic Logic and Probabilistic Logic under Coherence

Nonmonotonic Probabilistic Logics between Model−Theoretic Probabilistic Logic and Probabilistic Logic under Coherence

<p>Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System <em>P</em>. In this paper, we continue this l...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Lukasiewicz, T
Định dạng:	Conference item
Được phát hành:	2002

Những quyển sách tương tự

Weak Nonmonotonic Probabilistic Logics
Bằng: Lukasiewicz, T
Được phát hành: (2004)

Weak Nonmonotonic Probabilistic Logics
Bằng: Lukasiewicz, T
Được phát hành: (2005)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning
Bằng: Biazzo, V, et al.
Được phát hành: (2001)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P
Bằng: Biazzo, V, et al.
Được phát hành: (2002)

Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG
Bằng: Lukasiewicz, T
Được phát hành: (2005)

Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Complexity‚ Algorithms‚ and Implementation
Bằng: Lukasiewicz, T
Được phát hành: (2007)

Probabilistic Logic under Coherence: Complexity and Algorithms
Bằng: Biazzo, V, et al.
Được phát hành: (2005)

Probabilistic Logic under Coherence: Complexity and Algorithms
Bằng: Biazzo, V, et al.
Được phát hành: (2001)

Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic
Bằng: Rosati, R, et al.
Được phát hành: (2005)

Probabilistic Logic Programming
Bằng: Lukasiewicz, T
Được phát hành: (1998)

Probabilistic Description Logic Programs
Bằng: Lukasiewicz, T
Được phát hành: (2007)

Expressive Probabilistic Description Logics
Bằng: Lukasiewicz, T
Được phát hành: (2015)

Probabilistic Description Logic Programs
Bằng: Lukasiewicz, T
Được phát hành: (2005)

Probabilistic Logic Programming under Inheritance with Overriding
Bằng: Lukasiewicz, T
Được phát hành: (2001)

Probabilistic Preference Logic Networks
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2014)

Tractable Probabilistic Description Logic Programs
Bằng: Lukasiewicz, T
Được phát hành: (2007)

Probabilistic Logic Programming with Conditional Constraints
Bằng: Lukasiewicz, T
Được phát hành: (2001)

Stratified Probabilistic Description Logic Programs
Bằng: Lukasiewicz, T
Được phát hành: (2005)

Probabilistic Logic Programming under Maximum Entropy
Bằng: Lukasiewicz, T, et al.
Được phát hành: (1999)

Tractable Probabilistic Description Logic Programs
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Probabilistic Logical Characterization
Bằng: Hermanns, H, et al.
Được phát hành: (2011)

Probabilistic strategy logic
Bằng: Aminof, B, et al.
Được phát hành: (2019)

Probabilistic Justification Logic
Bằng: Joseph Lurie
Được phát hành: (2018-02-01)

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2007)

Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2009)

Description logic programs under probabilistic uncertainty and fuzzy vagueness
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2009)

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
Bằng: Lukasiewicz, T
Được phát hành: (1999)

Many−Valued First−Order Logics with Probabilistic Semantics
Bằng: Lukasiewicz, T
Được phát hành: (1999)

Probabilistic and Truth−Functional Many−Valued Logic Programming
Bằng: Lukasiewicz, T
Được phát hành: (1999)

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
Bằng: Lukasiewicz, T
Được phát hành: (2008)

Combining Probabilistic Logic Programming with the Power of Maximum Entropy
Bằng: Kern−Isberner, G, et al.
Được phát hành: (2004)

Nonmonotonic Probabilistic Reasoning under Variable−Strength Inheritance with Overriding
Bằng: Lukasiewicz, T
Được phát hành: (2005)

Learning and modeling with probabilistic conditional logic /
Bằng: 499177 Fisseler, Jens
Được phát hành: (2010)

Probabilistic Logic Models for the Lightning Network
Bằng: Damiano Azzolini, et al.
Được phát hành: (2022-06-01)

Representing Ontology Mappings with Probabilistic Description Logics Programs
Bằng: Calì, A, et al.
Được phát hành: (2008)

Heuristic Ranking in Tightly Coupled Probabilistic Description Logics
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2012)

Heuristic Ranking in Tightly Coupled Probabilistic Description Logics
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2012)

Heuristic ranking in tightly coupled probabilistic description logics
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2012)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
Bằng: Calì, A, et al.
Được phát hành: (2007)

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
Bằng: Bart Jacobs
Được phát hành: (2015-10-01)