Answer set programming at a glance.

The article discusses Answer Set Programming (ASP), examining its use in solving hard computational problems and looking at its applications. The authors discusses the propositional setting of ASP including atoms, literals, and rules, operators, and modeling language used in ASP. The article examine...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 54; no. 12; pp. 92 - 104
Main Authors:	Brewka, Gerhard, Eiter, Thomas, Truszczynski, Miroslaw
Format:	Article
Published:	Association for Computing Machinery Dec2011
Subjects:	Computer programming Programming languages Computational complexity Electronic data processing Set theory Mathematical analysis Computer software Scientific software
Online Access:	View this record in EBSCOhost