1. 首页 ›
2. 英文期刊 › COMPUTER SCIENCE, SOFTWARE ENGINEERING

THEORY AND PRACTICE OF LOGIC PROGRAMMING

THEOR PRACT LOG PROG

ISSN：1471-0684　E-ISSN：1475-3081 　出版商：Cambridge University Press 　国家：UNITED STATES 　周期：Bimonthly

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.

数据整理自公开网络的投稿反馈，仅供参考。