von
Preis unbekannt
Includes supplementary material: sn.pub/extras
Jose Alferes
Artificial intelligence complexity description logics intelligence logic multi-agent system nonmonotonic reasoning programming proving theorem proving uncertainty