Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics

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

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Lukasiewicz, T
Ձևաչափ: Conference item
Հրապարակվել է: Springer 2001

Նմանատիպ նյութեր

Նմանատիպ նյութեր