Answer set programming with graded modality

DOI10.1007/978-3-319-61660-5_18MaRDI QIDQ2401935zbMATH OpenOpenAlexFDO

Authors Zhizheng Zhang

Publication date 5 September 2017

Full work available at URL https://doi.org/10.1007/978-3-319-61660-5_18

zbMATH Keywords

introspectiongraded modalityanswer set

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Logic programming with graded modality
• Answer set programming based on propositional satisfiability
• Modular answer set programming as a formal specification language
• Answer set programming in intuitionistic logic
• Extensions of answer set programming
• Extensions of answer set programming
• A multiparametric view on answer set programming

Cited in

(3)

• Computing sets of graded attribute implications with witnessed non-redundancy
• Logic programming with graded modality
• Logic programming with graded introspection

This page was built for publication: Answer set programming with graded modality

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