Deduction Systems for Coalgebras Over Measurable Spaces.

Robert Goldblatt

Published in: J. Log. Comput. (2010)

Keyphrases

data sets
genetic algorithm
multi agent
management system
database
artificial intelligence
computer vision
knowledge base
expert systems
complex systems
computational models
systems require