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...
| Publicado en: | Communications of the ACM Vol. 54; no. 12; pp. 92 - 104 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Dec2011
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=69924582&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 69924582 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Dec2011 vid: 54 iid: 12 pid: 68 pub: Association for Computing Machinery artinfo: ui: 69924582 10.1145/2043174.2043195 ppf: 92 ppct: 12 formats: tig: atl: Answer set programming at a glance. aug: au: Brewka, Gerhard Eiter, Thomas Truszczynski, Miroslaw affil: Professor of computer science at university of Leipzig's Informatics Institute, Leipzig, germany Professor of computer science at Vienna univ. of technology s Institute of Information systems, Vienna, austria. Professor at university of Kentucky s Department of Computer science, Lexington, Ky. su: Computer programming Programming languages Computational complexity Electronic data processing Set theory Mathematical analysis Computer software Scientific software sug: subj: Computer programming Programming languages Computational complexity Electronic data processing Set theory Mathematical analysis Computer software Scientific software ab: 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 examines how ASP was used by Nicola Leone of the University of Calabria (UNiCaL) to develop a work-force management system which creates teams of employees at the Gioia Tauro Seaport in Gioia Tauro, Italy. The use of ASP in music composition systems and molecular biology research is also examined. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2011 holdings: @attributes: islocal: N |
|---|