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.

Articles & Issues

Tags:

Journals & Series

Journal

Theory and Practice of Logic Programming

— acronym

TPLP

— publisher

Cambridge University Press

URLs & IDs

home page

— Scopus

28424

— DBLP

journals/tplp

— print ISSN

1471-0684

— online ISSN

1475-3081

https://www.scimagojr.com/journal_img.php?id=28424

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY