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

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

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

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

Luc De Raedt

Handbook of logic in computer science

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

Practical Aspects of Declarative Languages: Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings (Lecture Notes in Computer Science)

Enrico Pontelli

Handbook of logic in artificial intelligence and logic programming

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

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