Marco MannaBooksLogics in Artificial IntelligenceReasoning Web. Declarative Artificial IntelligenceAuthor data: Open Library