Artificial Intelligence
Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Evidential support logic programming
Fuzzy Sets and Systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
An analysis of first-order logics of probability
Artificial Intelligence
Bilattices and the semantics of logic programming
Journal of Logic Programming
Handbook of theoretical computer science (vol. B)
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Complexity aspects of various semantics for disjunctive databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Stable semantics for probabilistic deductive databases
Information and Computation
From statistical knowledge bases to degrees of belief
Artificial Intelligence
Semantics, Consistency, and Query Processing of Empirical Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Many-Valued First-Order Logics with Probabilistic Semantics
Proceedings of the 12th International Workshop on Computer Science Logic
Probabilistic and Truth-Functional Many-Valued Logic Programming
ISMVL '99 Proceedings of the Twenty Ninth IEEE International Symposium on Multiple-Valued Logic
Probabilistic deduction with conditional constraints over basic events
Journal of Artificial Intelligence Research
Probabilistic disjunctive logic programming
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
A Logical Approach to Qualitative and Quantitative Reasoning
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Annotated probabilistic temporal logic
ACM Transactions on Computational Logic (TOCL)
Disjunctive fuzzy logic programs with fuzzy answer set semantics
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Hybrid probabilistic logic programs with non-monotonic negation
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
| Hi-index | 0.00 |
We present many-valued disjunctive logic programs in which classical disjunctive logic program clauses are extended by a truth value that respects the material implication. Interestingly, these many-valued disjunctive logic programs have both a probabilistic semantics in probabilities over possible worlds and a truth-functional semantics. We then define minimal, perfect, and stable models and show that they have the same properties like their classical counterparts. In particular, perfect and stable models are always minimal models. Under local stratification, the perfect model semantics coincides with the stable model semantics. Finally, we show that some special cases of propositional many-valued disjunctive logic programming under minimal, perfect, and stable model semantics have the same complexity like their classical counterparts.