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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Lukasiewicz, T
Fformat:	Journal article
Cyhoeddwyd:	2007

Eitemau Tebyg

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

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

Probabilistic Logic Programming under Inheritance with Overriding
gan: Lukasiewicz, T
Cyhoeddwyd: (2001)

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

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

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

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

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

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
gan: Eiter, T, et al.
Cyhoeddwyd: (2003)

Complexity Results for Nonmonotonic Logics
gan: Gottlob, G
Cyhoeddwyd: (1992)

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

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

Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic
gan: Rosati, R, et al.
Cyhoeddwyd: (2005)

Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies
gan: Stein, Lynn Andrea
Cyhoeddwyd: (2004)

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
gan: Eiter, T, et al.
Cyhoeddwyd: (1993)

Notes on Nonmonotonic Autoepistemic Propositional Logic
gan: Marek A. Suchenek
Cyhoeddwyd: (2011-12-01)

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

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

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

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

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

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

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

Parallel Variable Distribution Algorithm for Constrained Optimization with Nonmonotone Technique
gan: Congying Han, et al.
Cyhoeddwyd: (2013-01-01)

Nonmonotonic Skeptical Consequence Relation in Constrained Default Logic
gan: Mihaiela Lupea
Cyhoeddwyd: (2010-12-01)

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
Cyhoeddwyd: (2007)

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

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

Game−Theoretic Reasoning About Actions in Nonmonotonic Causal Theories
gan: Finzi, A, et al.
Cyhoeddwyd: (2005)

Variable−Strength Conditional Preferences for Matchmaking in Description Logics
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2006)

Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning‚ and Why They Matter (Invited Talk Abstract)
gan: Gottlob, G
Cyhoeddwyd: (1993)

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

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)

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

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

Fixed−Parameter Complexity in AI and Nonmonotonic Reasoning
gan: Gottlob, G, et al.
Cyhoeddwyd: (1999)