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...

Detaylı Bibliyografya
Yazar:	Lukasiewicz, T
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	IEEE 1999

Benzer Materyaller

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (1999)

Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2001)

Many−Valued First−Order Logics with Probabilistic Semantics
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (1999)

Probabilistic Logic Programming
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (1998)

Probabilistic Description Logic Programs
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2007)

Probabilistic Description Logic Programs
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2005)

Tractable Probabilistic Description Logic Programs
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2007)

Probabilistic Logic Programming with Conditional Constraints
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2001)

Stratified Probabilistic Description Logic Programs
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2005)

Tractable Probabilistic Description Logic Programs
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Nonmonotonic Probabilistic Logics between Model−Theoretic Probabilistic Logic and Probabilistic Logic under Coherence
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2002)

Probabilistic Logic Programming under Inheritance with Overriding
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2001)

Probabilistic Logic Programming under Maximum Entropy
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Combining Probabilistic Logic Programming with the Power of Maximum Entropy
Yazar:: Kern−Isberner, G, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Expressive Probabilistic Description Logics
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2015)

Weak Nonmonotonic Probabilistic Logics
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2004)

Weak Nonmonotonic Probabilistic Logics
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2005)

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2008)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Description logic programs under probabilistic uncertainty and fuzzy vagueness
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Representing Ontology Mappings with Probabilistic Description Logics Programs
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning
Yazar:: Biazzo, V, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Probabilistic Preference Logic Networks
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Tightly integrated probabilistic description logic programs for representing ontology mappings.
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings.
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Field's Logic of Truth
Yazar:: McGee, Vann
Baskı/Yayın Bilgisi: (2010)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P
Yazar:: Biazzo, V, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Vagueness, logic, and definite truth
Yazar:: Wall, L
Baskı/Yayın Bilgisi: (2023)

Probabilistic Logic under Coherence: Complexity and Algorithms
Yazar:: Biazzo, V, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Probabilistic Logic under Coherence: Complexity and Algorithms
Yazar:: Biazzo, V, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Heuristic Ranking in Tightly Coupled Probabilistic Description Logics
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Heuristic Ranking in Tightly Coupled Probabilistic Description Logics
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Heuristic ranking in tightly coupled probabilistic description logics
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Extension of the Relational Algebra to Probabilistic Complex Values
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2000)