scientific article; zbMATH DE number 6747884
From MaRDI portal
Publication:5282970
zbMATH Open1366.68016MaRDI QIDQ5282970FDOQ5282970
Authors: Rémi Brochenin, Yuliya Lierler, Marco Maratea 
Publication date: 18 July 2017
Full work available at URL: http://ebooks.iospress.nl/volumearticle/36934
Title of this publication is not available (Why is that?)
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)
- Transition systems for model generators -- a unifying approach
- Disjunctive answer set solvers via templates
- Stepwise debugging of answer-set programs
- Title not available (Why is that?)
- On abstract modular inference systems and solvers
- Abstraction for non-ground answer set programs
- Abstract Solvers for Computing Cautious Consequences of ASP programs
- Title not available (Why is that?)
- Abstract Answer Set Solvers
- Title not available (Why is that?)
- Abstract answer set solvers with backjumping and learning
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)
