Probabilistic and Truth−Functional Many−Valued Logic Programming

Probabilistic and Truth−Functional Many−Valued Logic Programming

<p>We introduce probabilistic many-valued logic programs in which the implication connective is interpreted as material implication. We show that probabilistic many-valued logic programming is computationally more complex than classical logic programming. More precisely, some deduction problem...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Lukasiewicz, T
Formáid:	Conference item
Foilsithe / Cruthaithe:	IEEE 1999

Míreanna comhchosúla

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (1999)

Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2001)

Many−Valued First−Order Logics with Probabilistic Semantics
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (1999)

Probabilistic Logic Programming
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (1998)

Probabilistic Description Logic Programs
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2007)

Probabilistic Description Logic Programs
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2005)

Tractable Probabilistic Description Logic Programs
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2007)

Probabilistic Logic Programming with Conditional Constraints
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2001)

Stratified Probabilistic Description Logic Programs
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2005)

Tractable Probabilistic Description Logic Programs
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Graded Many-Valued Modal Logic and Its Graded Rough Truth
de réir: Jiansheng Li, et al.
Foilsithe / Cruthaithe: (2022-07-01)

Probabilistic Logic Programming under Inheritance with Overriding
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2001)

Nonmonotonic Probabilistic Logics between Model−Theoretic Probabilistic Logic and Probabilistic Logic under Coherence
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2002)

Probabilistic Logic Programming under Maximum Entropy
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (1999)

On Jan Łukasiewicz’s many-valued logic and his criticism of determinism
de réir: Dariusz Łukasiewicz
Foilsithe / Cruthaithe: (2011-09-01)

Combining Probabilistic Logic Programming with the Power of Maximum Entropy
de réir: Kern−Isberner, G, et al.
Foilsithe / Cruthaithe: (2004)

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2008)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2007)

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2007)

Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2009)

Description logic programs under probabilistic uncertainty and fuzzy vagueness
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2009)

Expressive Probabilistic Description Logics
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2015)

Weak Nonmonotonic Probabilistic Logics
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2004)

Weak Nonmonotonic Probabilistic Logics
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2005)

Representation Synthesis by Probabilistic Many-Valued Logic Operation in Self-Supervised Learning
de réir: Hiroki Nakamura, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Representing Ontology Mappings with Probabilistic Description Logics Programs
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2008)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning
de réir: Biazzo, V, et al.
Foilsithe / Cruthaithe: (2001)

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2011)

Tightly integrated probabilistic description logic programs for representing ontology mappings.
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2011)

Probabilistic Preference Logic Networks
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2014)

Finiteness of One-Valued Function Classes in Many-Valued Logic
de réir: Elmira Yu. Kalimulina
Foilsithe / Cruthaithe: (2023-12-01)

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2008)

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2008)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P
de réir: Biazzo, V, et al.
Foilsithe / Cruthaithe: (2002)

Direct design of ground-state probabilistic logic using many-body interactions for probabilistic computing
de réir: Yihan He, et al.
Foilsithe / Cruthaithe: (2024-07-01)

Inferential Interpretations of Many-Valued Logics
de réir: Sanderson Molick
Foilsithe / Cruthaithe: (2024-09-01)

Marie Hamsun's many truths
de réir: Monika Zagar
Foilsithe / Cruthaithe: (2009-09-01)

Probabilistic Logic under Coherence: Complexity and Algorithms
de réir: Biazzo, V, et al.
Foilsithe / Cruthaithe: (2005)