Answer set programs with queries over subprograms

DOI10.1007/978-3-319-61660-5_15MaRDI QIDQ2401932zbMATH OpenOpenAlexFDO

Authors Christoph Redl

Publication date 5 September 2017

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

zbMATH Keywords

nonmonotonic reasoningsaturationanswer-set programmingmeta-programmingFLP semantics

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Answer Set Programming: A Primer
• scientific article; zbMATH DE number 6747915
• Answer set programming
• Answer set programming based on propositional satisfiability
• Knowledge Representation, Reasoning and Declarative Problem Solving

Cited in

(5)

• Manifold Answer-Set Programs for Meta-reasoning
• On Cascade Products of Answer Set Programs
• Manifold answer-set programs and their applications
• Solving Advanced Argumentation Problems with Answer Set Programming
• Query answering in resource-based answer set semantics

This page was built for publication: Answer set programs with queries over subprograms

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