Description - Intensional Logics for Programming by Luis Fariñas del Cerro
This volume is a collection of papers around the theme of extending the logic programming paradigm to the area of intensional logics. Intensional logics play a central role in AI and computing, as well as in the theoretical foundation of logic programming. Intensional logic programming is one of the current frontline research areas of computational logics. This not only helps the understanding of logic programs, but will have a significant impact on future
developments of logic programming itself.
Buy Intensional Logics for Programming by Luis Fariñas del Cerro from Australia's Online Independent Bookstore, BooksDirect.
A Preview for this title is currently not available.