Answer set semantics for ordered logic programs

MaRDI QIDQ5476233zbMATH OpenFDO

Authors

Publication date 14 July 2006

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Preferred answer sets for ordered logic programs
• scientific article; zbMATH DE number 1931679
• Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models
• Preferred answer sets for extended logic programs
• A Fixpoint Semantics for Ordered Logic

Cited in

(5)

• Answer set programming in intuitionistic logic
• Semantic representations and query languages for or-sets
• A characterization of answer sets for logic programs
• A Fixpoint Semantics for Ordered Logic
• scientific article; zbMATH DE number 1931680 (Why is no real title available?)

This page was built for publication: Answer set semantics for ordered logic programs

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