Manifold Answer-Set Programs for Meta-reasoning

DOI10.1007/978-3-642-04238-6_12MaRDI QIDQ3643110zbMATH OpenOpenAlexFDO

Authors Wolfgang Faber, Stefan Woltran

Publication date 10 November 2009

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04238-6_12

Mathematics Subject Classification ID

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

Recommendations

• Manifold answer-set programs and their applications
• Answer set programs with queries over subprograms
• Representing argumentation frameworks in answer set programming
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Argumentation and answer set programming

Cited in

(6)

• The first international competition on computational models of argumentation: results and analysis
• Weighted argumentation for analysis of discussions in Twitter
• Manifold answer-set programs and their applications
• Complex optimization in answer set programming
• Characterizing and extending answer set semantics using possibility theory
• scientific article; zbMATH DE number 7455722 (Why is no real title available?)

This page was built for publication: Manifold Answer-Set Programs for Meta-reasoning

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