rivista : Theory and Practice of Logic Programming
4 articles
Fifty Years of Prolog and Beyond (Theory and Practice of Logic Programming, 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
On Correctness and Completeness of an n Queens Program (Theory and Practice of Logic Programming, 2022) — Włodzimierz Drabent
Logic Programming as a Service (Theory and Practice of Logic Programming, 2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic-based decision support for strategic environmental assessment (Theory and Practice of Logic Programming, 2010) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli