Using nested logic programs for answer set programming
| Verfasserangaben: | Thomas Linke |
|---|---|
| URL: | http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-78/ |
| ISSN: | 1613-0073 |
| Publikationstyp: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Jahr der Erstveröffentlichung: | 2003 |
| Erscheinungsjahr: | 2003 |
| Datum der Freischaltung: | 24.03.2017 |
| Quelle: | 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 |
| Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
| Name der Einrichtung zum Zeitpunkt der Publikation: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |
