scientific article; zbMATH DE number 7455725

MaRDI QIDQ5020987

Francesco Calimeri, Jessica Zangari, Elena Mastria, Simona Perri

Publication date: 11 January 2022

Full work available at URL: https://arxiv.org/abs/2009.10252

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

A machine learning system to improve the performance of ASP solving based on encoding selection ⋮ Estimating grounding sizes of logic programs under answer set semantics

Uses Software

• Clingo
• VeriMAP
• DLV2

Cites Work

• Unnamed Item
• Design and results of the Fifth Answer Set Programming Competition
• Unfold/fold transformation of stratified programs
• The ASP system DLV2
• The power of non-ground rules in Answer Set Programming
• Optimizing Answer Set Computation via Heuristic-Based Decomposition
• Multi-shot ASP solving with clingo
• Principles of Artificial Neural Networks

This page was built for publication: