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.

works as
journal containing
page_white_acrobatOn Correctness and Completeness of an n Queens Program (2022) — Włodzimierz Drabent
page_white_acrobatFifty 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
page_white_acrobatLogic Programming as a Service (2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
page_white_acrobatLogic-based decision support for strategic environmental assessment (2010) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
journal hosting