Theory and Practice of Logic Programming


Miroslaw Truszczynski, University of Kentucky, USA
Editorial Board

Published for the Association for 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 all of 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, nonmonotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.
Theory and Practice of Logic Programming

ISSN: 1471-0684   EISSN: 1475-3081