Using nested logic programs for answer set programming
Author details: | Thomas Linke |
---|---|
URL: | http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-78/ |
ISSN: | 1613-0073 |
Publication type: | Article |
Language: | English |
Year of first publication: | 2003 |
Publication year: | 2003 |
Release date: | 2017/03/24 |
Source: | Proceedings 2nd international workshop answer set programming (ASP 2003), Messina, Italy, September 26-28, 2003 / Hrsg.: Marina De Vos; Alessandro Provetti. - (CEUR workshop proceedings ; 78). - ISSN 1613-0073. - S. 181 - 194 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Institution name at the time of the publication: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |