Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

by Andrei Voronkov, Aart Middeldorp, Ken McMillan

Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

About
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world.

Discuss Logic for Programming, Artificial Intelligence, and Reasoning with other readers

Join or start a book club for Logic for Programming, Artificial Intelligence, and Reasoning on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Logic for Programming, Artificial Intelligence, and Reasoning?

Sign up free on Readfeed, then browse public clubs or start your own club with Logic for Programming, Artificial Intelligence, and Reasoning as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Logic for Programming, Artificial Intelligence, and Reasoning with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Logic for Programming, Artificial Intelligence, and Reasoning with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.