Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Complexity‚ Algorithms‚ and Implementation

Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Complexity‚ Algorithms‚ and Implementation

<p>In previous work, I have introduced nonmonotonic probabilistic logics under variable-strength inheritance with overriding. They are formalisms for probabilistic reasoning from sets of strict logical, default logical, and default probabilistic sentences, which are parameterized through a val...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Lukasiewicz, T
Формат:	Journal article
Хэвлэсэн:	2007

Ижил төстэй зүйлс

Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG
-н: Lukasiewicz, T
Хэвлэсэн: (2005)

Nonmonotonic Probabilistic Reasoning under Variable−Strength Inheritance with Overriding
-н: Lukasiewicz, T
Хэвлэсэн: (2005)

Probabilistic Logic Programming under Inheritance with Overriding
-н: Lukasiewicz, T
Хэвлэсэн: (2001)

Probabilistic Lexicographic Entailment under Variable−Strength Inheritance with Overriding
-н: Lukasiewicz, T
Хэвлэсэн: (2003)

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
-н: Lukasiewicz, T
Хэвлэсэн: (2008)

Weak Nonmonotonic Probabilistic Logics
-н: Lukasiewicz, T
Хэвлэсэн: (2004)

Weak Nonmonotonic Probabilistic Logics
-н: Lukasiewicz, T
Хэвлэсэн: (2005)

Nonmonotonic Probabilistic Logics between Model−Theoretic Probabilistic Logic and Probabilistic Logic under Coherence
-н: Lukasiewicz, T
Хэвлэсэн: (2002)

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
-н: Eiter, T, зэрэг
Хэвлэсэн: (2003)

Complexity Results for Nonmonotonic Logics
-н: Gottlob, G
Хэвлэсэн: (1992)

Probabilistic Logic under Coherence: Complexity and Algorithms
-н: Biazzo, V, зэрэг
Хэвлэсэн: (2005)

Probabilistic Logic under Coherence: Complexity and Algorithms
-н: Biazzo, V, зэрэг
Хэвлэсэн: (2001)

Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic
-н: Rosati, R, зэрэг
Хэвлэсэн: (2005)

Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies
-н: Stein, Lynn Andrea
Хэвлэсэн: (2004)

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
-н: Eiter, T, зэрэг
Хэвлэсэн: (1993)

Notes on Nonmonotonic Autoepistemic Propositional Logic
-н: Marek A. Suchenek
Хэвлэсэн: (2011-12-01)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning
-н: Biazzo, V, зэрэг
Хэвлэсэн: (2001)

Probabilistic Logic Programming
-н: Lukasiewicz, T
Хэвлэсэн: (1998)

Probabilistic Logic Programming under Maximum Entropy
-н: Lukasiewicz, T, зэрэг
Хэвлэсэн: (1999)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P
-н: Biazzo, V, зэрэг
Хэвлэсэн: (2002)

Probabilistic Description Logic Programs
-н: Lukasiewicz, T
Хэвлэсэн: (2007)

Expressive Probabilistic Description Logics
-н: Lukasiewicz, T
Хэвлэсэн: (2015)

Probabilistic Description Logic Programs
-н: Lukasiewicz, T
Хэвлэсэн: (2005)

Parallel Variable Distribution Algorithm for Constrained Optimization with Nonmonotone Technique
-н: Congying Han, зэрэг
Хэвлэсэн: (2013-01-01)

Nonmonotonic Skeptical Consequence Relation in Constrained Default Logic
-н: Mihaiela Lupea
Хэвлэсэн: (2010-12-01)

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
-н: Lukasiewicz, T, зэрэг
Хэвлэсэн: (2007)

Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness
-н: Lukasiewicz, T, зэрэг
Хэвлэсэн: (2009)

Description logic programs under probabilistic uncertainty and fuzzy vagueness
-н: Lukasiewicz, T, зэрэг
Хэвлэсэн: (2009)

Tractable Probabilistic Description Logic Programs
-н: Lukasiewicz, T
Хэвлэсэн: (2007)

Probabilistic Logic Programming with Conditional Constraints
-н: Lukasiewicz, T
Хэвлэсэн: (2001)

Stratified Probabilistic Description Logic Programs
-н: Lukasiewicz, T
Хэвлэсэн: (2005)

Game−Theoretic Reasoning About Actions in Nonmonotonic Causal Theories
-н: Finzi, A, зэрэг
Хэвлэсэн: (2005)

Variable−Strength Conditional Preferences for Matchmaking in Description Logics
-н: Lukasiewicz, T, зэрэг
Хэвлэсэн: (2006)

Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning‚ and Why They Matter (Invited Talk Abstract)
-н: Gottlob, G
Хэвлэсэн: (1993)

Probabilistic Preference Logic Networks
-н: Lukasiewicz, T, зэрэг
Хэвлэсэн: (2014)

Tractable Probabilistic Description Logic Programs
-н: Lukasiewicz, T, зэрэг
Хэвлэсэн: (2013)

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
-н: Lukasiewicz, T
Хэвлэсэн: (1999)

Many−Valued First−Order Logics with Probabilistic Semantics
-н: Lukasiewicz, T
Хэвлэсэн: (1999)

Probabilistic and Truth−Functional Many−Valued Logic Programming
-н: Lukasiewicz, T
Хэвлэсэн: (1999)

Fixed−Parameter Complexity in AI and Nonmonotonic Reasoning
-н: Gottlob, G, зэрэг
Хэвлэсэн: (1999)