scientific article; zbMATH DE number 7455725

MaRDI QIDQ5020987zbMATH OpenFDO

Authors Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri

Publication date 11 January 2022

Full work available at URL https://arxiv.org/abs/2009.10252, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2020.31

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Design and results of the Fifth Answer Set Programming Competition
• Multi-shot ASP solving with clingo
• Optimizing answer set computation via heuristic-based decomposition
• Principles of artificial neural networks
• The ASP system DLV2
• The power of non-ground rules in Answer Set Programming
• Unfold/fold transformation of stratified programs

Cited in

(5)

• System predictor: grounding size estimator for logic programs under answer set semantics
• Estimating grounding sizes of logic programs under answer set semantics
• A machine learning system to improve the performance of ASP solving based on encoding selection
• Adaptive large-neighbourhood search for optimisation in answer-set programming
• LARS: a learning algorithm for rewriting systems

Describes a project that uses

Uses Software

• DLV2
• VeriMAP
• Clingo

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 Q5020987)