Theory and Pracite of Logic Programming

Theory and Practice of Logic Programming is an international journal that publishes refereed papers covering both the theory and the practice of logic programming. Logic applies to all areas of artificial intelligence and computer science. Logic programming is fundamental to these areas. 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.