Semantics for possibilistic disjunctive programs

DOI10.1017/S1471068411000408MaRDI QIDQ2845121zbMATH OpenFDO

Authors Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés

Publication date 22 August 2013

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

answer set programminguncertain informationpossibilistic reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• Semantics for Possibilistic Disjunctive Programs
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Possibilistic nested logic programs
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Possibilistic uncertainty handling for answer set programming

Cites work

• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• A general theory of confluent rewriting systems for logic programming and its applications
• A lattice-theoretical fixpoint theorem and its applications
• A logic programming framework for possibilistic argumentation: Formalization and logical properties
• An introduction to fuzzy answer set programming
• Bilattices and the semantics of logic programming
• Characterizations of the disjunctive stable semantics by partial evaluation
• Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
• Combining probabilistic logic programming with the power of maximum entropy
• Evidential support logic programming
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Possibilistic logic: a retrospective and prospective view
• Possibilistic uncertainty handling for answer set programming
• Probabilistic logic programming
• Probabilistic reasoning with answer sets
• Quantitative deduction and its fixpoint theory
• Semantics for Possibilistic Disjunctive Programs
• Stable inference as intuitionistic validity
• Temporal disjunctive logic programming
• Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants

Cited in

(10)

• The possibilistic Horn non-clausal knowledge bases
• Possibilistic nested logic programs and strong equivalence
• scientific article; zbMATH DE number 6261542 (Why is no real title available?)
• Characterizing and extending answer set semantics using possibility theory
• scientific article; zbMATH DE number 1841971 (Why is no real title available?)
• LATIN 2004: Theoretical Informatics
• Syntax and semantics of multi-adjoint normal logic programming
• Semantics for Possibilistic Disjunctive Programs
• Possibilistic nested logic programs
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This page was built for publication: Semantics for possibilistic disjunctive programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2845121)