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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 54; no. 12; pp. 92 - 104
Autores principales:	Brewka, Gerhard, Eiter, Thomas, Truszczynski, Miroslaw
Formato:	Artículo
Publicado:	Association for Computing Machinery Dec2011
Materias:	Computer programming Programming languages Computational complexity Electronic data processing Set theory Mathematical analysis Computer software Scientific software
Acceso en línea:	Ver este registro en EBSCOhost