Look-back techniques for ASP programs with aggregates
type: Item
instance of: scholarly article
zbMATH Open document ID: 1245.68051
DOI: 10.3233/FI-2011-408
author: Wolfgang Faber
author: N. Leone
author: Marco Maratea
author: F. Ricca
published in: Fundamenta Informaticae
publication date: 2012-07-04T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 6052761
zbMATH Keywords: knowledge representation
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: answer set programming
zbMATH Keywords: heuristics
zbMATH Keywords: aggregates
describes a project that uses: Gringo
describes a project that uses: GNT
describes a project that uses: ASSAT
describes a project that uses: Smodels
describes a project that uses: clasp
MaRDI profile type: Publication
full work available at URL: fi-2011-408
OpenAlex ID: W2133116272
Recommended article: Experimenting with Look-Back Heuristics for Hard ASP Programs
Recommended article: Arguing correctness of ASP programs with aggregates
Recommended article: Logic Programming
Recommended article: Q4798016
Recommended article: Logic Programming and Nonmonotonic Reasoning
Recommended article: Debugging ASP Programs by Means of ASP
Recommended article: Partial Compilation of ASP Programs
Recommended article: Contextual Data Tailoring Using ASP
Recommended article: Vicious circle principle, aggregates, and formation of sets in ASP based languages
title: Look-back techniques for ASP programs with aggregates
description: scientific article; zbMATH DE number 6052761