Possibilistic nested logic programs

DOI10.4230/LIPICS.ICLP.2012.267MaRDI QIDQ5398065zbMATH OpenFDO

Authors Juan Carlos Nieves, Helena Lindgren

Publication date 25 February 2014

Full work available at URL https://doi.org/10.4230/LIPICS.ICLP.2012.267

zbMATH Keywords

answer set programmingpossibilistic reasoninguncertain information

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Possibilistic nested logic programs and strong equivalence
• Nested expressions in logic programs
• Semantics for possibilistic disjunctive programs
• Semantics for Possibilistic Disjunctive Programs
• Possibilistic uncertainty handling for answer set programming

Cited in

(7)

• Nested expressions in logic programs
• The possibilistic Horn non-clausal knowledge bases
• Possibilistic nested logic programs and strong equivalence
• Semantics for possibilistic disjunctive programs
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• Characterizing and extending answer set semantics using possibility theory
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Possibilistic nested logic programs

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