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

Handbook of logic in artificial intelligence and logic programming

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

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

Logic in Computer Science: Modelling and Reasoning about Systems

Mark Ryan, Michael Huth

Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science)

Juhani Karhumäki, W. Brauer, Arto K. Salomaa, H. Ehrig

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

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

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

Time and Logic: A Computational Approach

Andrzej Szałas, Leonard Bolc

ALPUK91: proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991

Geraint A. Wiggins, Chris Mellish, and Tim Duncan (eds.).