Probabilistic Logic Programming under Inheritance with Overriding

Probabilistic Logic Programming under Inheritance with Overriding

<p>We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is don...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Lukasiewicz, T
Fformat:	Conference item
Cyhoeddwyd:	Morgan Kaufmann 2001

Eitemau Tebyg

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2008)

Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG
gan: Lukasiewicz, T
Cyhoeddwyd: (2005)

Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Complexity‚ Algorithms‚ and Implementation
gan: Lukasiewicz, T
Cyhoeddwyd: (2007)

Probabilistic Lexicographic Entailment under Variable−Strength Inheritance with Overriding
gan: Lukasiewicz, T
Cyhoeddwyd: (2003)

Nonmonotonic Probabilistic Reasoning under Variable−Strength Inheritance with Overriding
gan: Lukasiewicz, T
Cyhoeddwyd: (2005)

Probabilistic Logic Programming
gan: Lukasiewicz, T
Cyhoeddwyd: (1998)

Nonmonotonic Probabilistic Logics between Model−Theoretic Probabilistic Logic and Probabilistic Logic under Coherence
gan: Lukasiewicz, T
Cyhoeddwyd: (2002)

Probabilistic Logic Programming under Maximum Entropy
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (1999)

Probabilistic Description Logic Programs
gan: Lukasiewicz, T
Cyhoeddwyd: (2007)

Probabilistic Description Logic Programs
gan: Lukasiewicz, T
Cyhoeddwyd: (2005)

Probabilistic Logic Programming with Conditional Constraints
gan: Lukasiewicz, T
Cyhoeddwyd: (2001)

Tractable Probabilistic Description Logic Programs
gan: Lukasiewicz, T
Cyhoeddwyd: (2007)

Stratified Probabilistic Description Logic Programs
gan: Lukasiewicz, T
Cyhoeddwyd: (2005)

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2007)

Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2009)

Description logic programs under probabilistic uncertainty and fuzzy vagueness
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2009)

Tractable Probabilistic Description Logic Programs
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2013)

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
gan: Lukasiewicz, T
Cyhoeddwyd: (1999)

Probabilistic and Truth−Functional Many−Valued Logic Programming
gan: Lukasiewicz, T
Cyhoeddwyd: (1999)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning
gan: Biazzo, V, et al.
Cyhoeddwyd: (2001)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P
gan: Biazzo, V, et al.
Cyhoeddwyd: (2002)

Combining Probabilistic Logic Programming with the Power of Maximum Entropy
gan: Kern−Isberner, G, et al.
Cyhoeddwyd: (2004)

Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
gan: Lukasiewicz, T
Cyhoeddwyd: (2001)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
gan: Calì, A, et al.
Cyhoeddwyd: (2007)

Expressive Probabilistic Description Logics
gan: Lukasiewicz, T
Cyhoeddwyd: (2015)

Weak Nonmonotonic Probabilistic Logics
gan: Lukasiewicz, T
Cyhoeddwyd: (2004)

Weak Nonmonotonic Probabilistic Logics
gan: Lukasiewicz, T
Cyhoeddwyd: (2005)

Probabilistic Logic under Coherence: Complexity and Algorithms
gan: Biazzo, V, et al.
Cyhoeddwyd: (2001)

Probabilistic Logic under Coherence: Complexity and Algorithms
gan: Biazzo, V, et al.
Cyhoeddwyd: (2005)

Representing Ontology Mappings with Probabilistic Description Logics Programs
gan: Calì, A, et al.
Cyhoeddwyd: (2008)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
gan: Calì, A, et al.
Cyhoeddwyd: (2009)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.
gan: Calì, A, et al.
Cyhoeddwyd: (2009)

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2011)

Tightly integrated probabilistic description logic programs for representing ontology mappings.
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2011)

Probabilistic Preference Logic Networks
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2014)

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings.
gan: Calì, A, et al.
Cyhoeddwyd: (2008)

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
gan: Calì, A, et al.
Cyhoeddwyd: (2008)

Many−Valued First−Order Logics with Probabilistic Semantics
gan: Lukasiewicz, T
Cyhoeddwyd: (1999)

override
gan: Iris Garrelfs
Cyhoeddwyd: (2019-07-01)

Overriding Immanence
gan: William C. Woody
Cyhoeddwyd: (2018-05-01)