Strong Equivalence of Logic Programs with Abstract Constraint Atoms
type: Item
instance of: scholarly article
title: Strong Equivalence of Logic Programs with Abstract Constraint Atoms
zbMATH Open document ID: 1327.68067
DOI: 10.1007/978-3-642-20895-9_15
author: Randy Goebel
author: Tomi Janhunen
author: Jia-Huai You
author: Guohua Liu
author: Ilkka Niemelä
published in: Logic Programming and Nonmonotonic Reasoning
publication date: 2011-05-26T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5899992
describes a project that uses: Smodels
describes a project that uses: PBS
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-642-20895-9 15
OpenAlex ID: W2163716430
description: scientific article; zbMATH DE number 5899992