Answer Set Solving in Practice
by Martin Gebser, Roland Kaminski, Benjamin Kaufmann
Logic programmingComputer programmingAlgebra, problems, exercises, etc.
Writing a summary for young readers…
For young readers
Book data: Open Library
by Martin Gebser, Roland Kaminski, Benjamin Kaufmann
Book data: Open Library