scientific article; zbMATH DE number 6747884

MaRDI QIDQ5282970zbMATH OpenFDO

Authors Rémi Brochenin, Yuliya Lierler, Marco Maratea

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/36934

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Abstract Answer Set Solvers
• Disjunctive answer set solvers via templates
• Abstract domains and solvers for sets reasoning
• Answer sets for logic programs with arbitrary abstract constraint atoms
• Abstract solvers for quantified Boolean formulas and their applications
• scientific article; zbMATH DE number 6261542
• scientific article; zbMATH DE number 1292288
• Solving disjunctive fuzzy answer set programs
• An abductive approach to disjunctive logic programming
• Disjunctive logic programs, answer sets, and the cut rule

Cited in

(11)

• scientific article; zbMATH DE number 1931680 (Why is no real title available?)
• scientific article; zbMATH DE number 6261542 (Why is no real title available?)
• Abstract Solvers for Computing Cautious Consequences of ASP programs
• Transition systems for model generators -- a unifying approach
• On abstract modular inference systems and solvers
• Abstract answer set solvers with backjumping and learning
• Abstraction for non-ground answer set programs
• Disjunctive answer set solvers via templates
• scientific article; zbMATH DE number 7047282 (Why is no real title available?)
• Abstract Answer Set Solvers
• Stepwise debugging of answer-set programs

This page was built for publication:

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