Our full range of Journal Subject Catalogues and our Electronic Packages are online for you to download as fully linked PDFs. Click here to see our full range.
more details
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.
Published for the Association for Logic Programming
ISSN:
1471-0684
EISSN: 1475-3081
Book Review Editor:
Books for review, or suggestions for review, should be sent to the reviews editor Krzysztof R. Apt (apt@cwi.nl)