Incremental answer sets and their computation
Author details: | Martin GebserORCiD, Mona Gharib, Torsten SchaubORCiDGND |
---|---|
Publication type: | Article |
Language: | English |
Year of first publication: | 2007 |
Publication year: | 2007 |
Release date: | 2017/03/25 |
Source: | Proceedings of the Fourth International Workshop on Answer Set Programming (ASP'07) / Hrsg.: S. Constantini ; R. Watson. - Portugal : 2007. - S. 161 - 174 |
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 |