Hybrid Logics with Infinitary Proof Systems.

Barteld P. Kooi Gerard R. Renardel de Lavalette Rineke Verbrugge

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

Keyphrases

intelligent systems
management system
case study
expert systems
expressive power
data sets
data mining
genetic algorithm
multi agent systems
building blocks