journal : Theory and Practice of Logic Programming
4 articles
On Correctness and Completeness of an n Queens Program (article in journal, 2022) — Włodzimierz Drabent Fifty Years of Prolog and Beyond (article in journal, 2022) — Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto Logic Programming as a Service (article in journal, 2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini Logic-based decision support for strategic environmental assessment (article in journal, 2010) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli