A coinductive approach to computing with compact sets.

Ulrich Berger Dieter Spreen

Published in: J. Log. Anal. (2016)

Keyphrases

multi agent systems
data sets
artificial intelligence
three dimensional
multi agent
cooperative
object recognition
lower bound
pairwise
management system
definite clause