Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
<p>In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for such programs. We show that many-valued disjunctive logic programs under the semantics of minimal models, perfect...
1. Verfasser: | Lukasiewicz, T |
---|---|
Format: | Conference item |
Veröffentlicht: |
Springer
2001
|
Ähnliche Einträge
-
Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
von: Lukasiewicz, T
Veröffentlicht: (1999) -
Many−Valued First−Order Logics with Probabilistic Semantics
von: Lukasiewicz, T
Veröffentlicht: (1999) -
Probabilistic and Truth−Functional Many−Valued Logic Programming
von: Lukasiewicz, T
Veröffentlicht: (1999) -
A Probabilistic Higher-order Fixpoint Logic
von: Yo Mitani, et al.
Veröffentlicht: (2021-12-01) -
Characterizing definability in decidable fixpoint logics
von: Benedikt, M, et al.
Veröffentlicht: (2017)