Theory and Practice of Logic Programming

Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.

rivista che contiene

 Enhanced Filtering Algorithms for the Euclidean Traveling Salesperson Problem and Its Variants In Constraint Logic Programming (2026) — Alessandro Bertagnon, Marco Gavanelli

 On Correctness and Completeness of an n Queens Program (2022) — Włodzimierz Drabent

 Fifty Years of Prolog and Beyond (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 (2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

 ECLiPSe – From LP to CLP (2012) — Joachim Schimpf, Kish Shen

 Logic-based decision support for strategic environmental assessment (2010) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli

rivista che ospita

 Special Issue of Theory and Practice of Logic Programming: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming