Tableau calculi for answer set programming
Author details: | Martin Gerbser, Torsten SchaubORCiDGND |
---|---|
URL: | http://www.cs.uni-potsdam.de/wv/pdfformat/gebsch06c.pdf |
DOI: | https://doi.org/10.1007/11799573 |
ISSN: | 0302-9743 |
Publication type: | Article |
Language: | English |
Year of first publication: | 2006 |
Publication year: | 2006 |
Release date: | 2017/03/24 |
Source: | Lecture notes in computer science : logic programming : proceedings. - ISSN 0302-9743. - 4079 (2006), S. 11 - 25 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Peer review: | Referiert |
Institution name at the time of the publication: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |