Martin GebserBooksLogics in Artificial IntelligencePractical Aspects of Declarative LanguagesAnswer Set Solving in PracticeAuthor data: Open Library