• search hit 2 of 12
Back to Result List

Tableau calculi for answer set programming

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author: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
Document Type:Article
Language:English
Year of first Publication:2006
Year of Completion: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 publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik