Logic programming

The experience of literature: a reader with commentaries.

Nathaniel Hawthorne, Chekhov, Anton Pavlovich, Trilling, Lionel, Joyce, James, Bernard Shaw, William Faulkner, Albert Camus, Фёдор Михайлович Достоевский, Poe, Edgar Allan, William Shakespeare

Logic Functions and Equations: Binary Models for Computer Science

Bernd Steinbach, Christian Posthoff

Logic in Computer Science: Modelling and Reasoning about Systems

Mark Ryan, Michael Huth

Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29-July 1, 2020, Proceedings

Stefania Costantini, Dumitru Roman, Fariba Sadri, Enrico Franconi, William Van Woensel, Roman Kontchakov, Tomás Kliegr, Víctor Gutiérrez-Basulto, Ahmet Soylu, Martin Giese

Handbook of logic in computer science

edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.

Logical and Relational Learning: From ILP to MRDM (Cognitive Technologies)

Luc De Raedt

Programming language implementation and logic programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings

J. Maluszyński, M. Wirsing, eds.

Handbook of logic in artificial intelligence and logic programming

edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.

Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning

Jair Minoro Minoro Abe, Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Lecture Notes in Computer Science)

Andrei Voronkov, Moshe Y. Vardi