Semantics for possibilistic disjunctive programs

DOI10.1017/S1471068411000408zbMATH Open1272.68081MaRDI QIDQ2845121FDOQ2845121

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)

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

zbMATH Keywords

answer set programminguncertain informationpossibilistic reasoning

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

• The possibilistic Horn non-clausal knowledge bases
• Possibilistic nested logic programs and strong equivalence
• Title not available (Why is that?)
• Characterizing and extending answer set semantics using possibility theory
• Title not available (Why is that?)
• 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)