Related Books

Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 652
Authors: Martin Davis
Categories: Computers
Type: BOOK - Published: 2015-12-01 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in No
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 806
Authors: Ken McMillan
Categories: Computers
Type: BOOK - Published: 2013-12-05 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in Dec
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 526
Authors: Edmund M. Clarke
Categories: Computers
Type: BOOK - Published: 2010-12-07 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence
Inductive Logic Programming
Language: en
Pages: 264
Authors: Francesco Bergadano
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: MIT Press

DOWNLOAD EBOOK

Although Inductive Logic Programming (ILP) is generally thought of as a research area at the intersection of machine learning and computational logic, Bergadano
Logic Programming and Non-Monotonic Reasoning
Language: en
Pages: 518
Authors: Lua-S Moniz Pereira
Categories: Logic programming
Type: BOOK - Published: 1993 - Publisher: MIT Press

DOWNLOAD EBOOK

This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelli