Reihe Lecture Notes in Artificial IntelligenceMarco Cadoli ×eBooks × Tractable Reasoning in Aritificial Intelligence Marco CadoliSpringer BerlineBook2005