Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-25T15:05:53.075Z Has data issue: false hasContentIssue false

Answer Set Programming, by Vladimir Lifschitz, Springer Nature Switzerland AG, ISBN 978-3-030-24657-0

Published online by Cambridge University Press:  17 March 2020

VICTOR W. MAREK*
Affiliation:
University of Kentucky, Lexington, KY40506, USA (e-mail: marek@cs.uky.edu)

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Book Review
Copyright
© The Author(s) 2020. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In: Robert Kowalski and Kenneth Bowen, editors, Proceedings of International Logic Programming Conference and Symposium 10701080, MIT Press.Google Scholar