Logical methods in artificial intelligence applications

Eva Armengol, DionĂ­s Boixader, Francisco Grimaldo. Logical methods in artificial intelligence applications. J. Applied Logic, 23:1-2, 2017. [doi]

Abstract

Abstract is missing.