The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011

Published in: IWIL@LPAR (2012)

Keyphrases

selected papers
expressive power
real time
real world
search algorithm
lecture notes
implementation details
multiscale
implementation issues
data sets
neural network
artificial intelligence
decision making
proceedings of the th international conference
efficient implementation