ASP programs with groundings of small treewidth
type: Item
instance of: scholarly article
title: ASP programs with groundings of small treewidth
DOI: 10.1007/978-3-319-90050-6_6
author: Bernhard Bliem
publication date: 2018-06-26T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 6894595
MaRDI profile type: Publication
full work available at URL: 978-3-319-90050-6 6
OpenAlex ID: W2800046293
Recommended article: The Impact of Treewidth on Grounding and Solving of Answer Set Programs
Recommended article: Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
Recommended article: Q3779769
Recommended article: ASP with non-herbrand partial functions: a language and system for practical use
Recommended article: Logic Programming and Nonmonotonic Reasoning
Recommended article: Arguing correctness of ASP programs with aggregates
Recommended article: Experimenting with Look-Back Heuristics for Hard ASP Programs
Recommended article: Generalized structured programs and loop trees
Recommended article: Q4373690
description: scientific article; zbMATH DE number 6894595