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