Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics.

Helle Hvid Hansen Clemens Kupke Raul Andres Leal

Published in: IFIP TCS (2014)

Keyphrases

dynamic environments
database
high level
objective function
inference rules
data sets
learning algorithm
artificial intelligence
computer vision
feature selection
multi agent systems
iterative process
dynamically changing