Monotonic Answer Set Programming

DOI10.1093/LOGCOM/EXN040zbMATH Open1180.68100OpenAlexW2101208282MaRDI QIDQ3395258FDOQ3395258

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

Recommendations

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

zbMATH Keywords

monotonicityanswer set programminglogic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (4)

• Title not available (Why is that?)
• Monotone term decision lists
• An argumentation system for defeasible reasoning
• Query answering in resource-based answer set semantics

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)