Q4906890
type: Item
instance of: scholarly article
zbMATH Open document ID: 1269.68094
author: Wiktor Marek
author: Mirosław Truszczyński
author: Ilkka Niemelä
publication date: 2013-02-28T00:00:00Z
full work available at URL: https://arxiv.org/abs/1108.3281
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68-03
zbMATH DE Number: 6139992
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: answer-set programming
zbMATH Keywords: logic programming
describes a project that uses: Cmodels
MaRDI profile type: Publication
arXiv ID: 1108.3281
description: scientific article; zbMATH DE number 6139992