Logic programs with abstract constraint atoms: the role of computations
type: Item
instance of: scholarly article
title: Logic programs with abstract constraint atoms: the role of computations
zbMATH Open document ID: 1207.68119
author: Lengning Liu
author: Enrico Pontelli
author: Tran Cao Son
author: Mirosław Truszczyński
published in: Artificial Intelligence
publication date: 2010-05-07T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5705369
zbMATH Keywords: logic programs with abstract constraint atoms
zbMATH Keywords: answer sets
zbMATH Keywords: computations
describes a project that uses: Cmodels
describes a project that uses: clasp
describes a project that uses: Smodels
MaRDI profile type: Publication
full work available at URL: j.artint.2009.11.016
OpenAlex ID: W1988666619
cites work: Q4385536
cites work: Answer set based design of knowledge systems
cites work: Knowledge Representation, Reasoning and Declarative Problem Solving
cites work: Q4736514
cites work: A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
cites work: Q4434167
cites work: Logic Programming
cites work: Tight logic programs
cites work: Temporal phylogenetic networks and logic programming
cites work: Logics in Artificial Intelligence
cites work: Logic Programming and Nonmonotonic Reasoning
cites work: Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
cites work: Q4707773
cites work: Logic programming and knowledge representation---The A-Prolog perspective
cites work: Bounded LTL model checking with stable models
cites work: The DLV system for knowledge representation and reasoning
cites work: Logic Programs with Abstract Constraint Atoms: The Role of Computations
cites work: Q3992908
cites work: Logic programs, well-orderings, and forward chaining
cites work: Logic programs with monotone abstract constraint atoms
cites work: Q4702577
cites work: Q4273952
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Extending and implementing the stable model semantics
cites work: A Constructive semantic characterization of aggregates in answer set programming
cites work: Q3624081
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: The well-founded semantics for general logic programs
cites work: Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
DOI: 10.1016/J.ARTINT.2009.11.016
description: scientific article; zbMATH DE number 5705369