• search hit 30 of 143
Back to Result List

Generic tableaux for answer set programming

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Martin GebserORCiD, Torsten SchaubORCiDGND
Document Type:Article
Language:English
Year of first Publication:2007
Year of Completion:2007
Release Date:2017/03/25
Source:Proceedings of the Twenty-third International Conference on Logic Programming (ICLP'07) / Hrsg.: V. Dahl ; I. Niemelä. - Heidelberg [u.a.] : Springer, 2007. - S. 119 - 133
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Institution name at the time of publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik