Monotonic Answer Set Programming

DOI10.1093/LOGCOM/EXN040MaRDI QIDQ3395258zbMATH OpenOpenAlexFDO

Authors Martin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub

Publication date 24 August 2009

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exn040

zbMATH Keywords

monotonicityanswer set programminglogic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 5485263
• Engineering an Incremental ASP Solver
• Answer Set Programming: A Primer
• scientific article; zbMATH DE number 6747915
• ASP solving for expanding universes

Cited in

(4)

• scientific article; zbMATH DE number 1241673 (Why is no real title available?)
• Monotone term decision lists
• An argumentation system for defeasible reasoning
• Query answering in resource-based answer set semantics

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: Monotonic Answer Set Programming

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