Integrating temporal extensions of answer set programming
ISSN: 0302-9743, 1611-3349
ISBN: 9783642405631
Year of publication: 2013
Volume: 8148 LNAI
Pages: 23-35
Type: Conference paper
ISSN: 0302-9743, 1611-3349
ISBN: 9783642405631
Year of publication: 2013
Volume: 8148 LNAI
Pages: 23-35
Type: Conference paper