"Logic Wins!".

Jean Goubault-Larrecq

Published in: ASIAN (2009)

Keyphrases

logic programming
expert systems

modal logic
multi valued

classical logic
computational properties

learning algorithm
data structure