×

Found 3 Documents (Results 1–3)

Experimenting with look-back heuristics for hard ASP programs. (English) Zbl 1149.68330

Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15–17, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72199-4/pbk). Lecture Notes in Computer Science 4483. Lecture Notes in Artificial Intelligence, 110-122 (2007).
MSC:  68N17 68T15 68T20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software