安心交易
不成功退款，无后顾之忧，风险服务升级。
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.
逻辑程序设计理论与实践强调逻辑程序设计的理论与实践。 逻辑程序设计适用于人工智能和计算机科学的所有领域，并且是它们的基础。 涵盖的主题包括使用逻辑编程的AI应用程序，逻辑编程方法，系统的规范，分析和验证，归纳逻辑编程，多关系数据挖掘，自然语言处理，知识表示，非单调推理，语义Web推理， 数据库，实现和体系结构以及约束逻辑编程。
安心交易
不成功退款，无后顾之忧，风险服务升级。
合规备案认证机构
资质许可齐全，合规经营，用户权益有保障。
正刊保障
刊物在国家新闻出版署网可查，抵制假刊、增刊。
对公账户资金监管
交易均通过对公账户，资金安全有保障。01 选择服务并上传稿件 我们的学术顾问将根据您的需求推荐适合的服务
02 分配资深编辑和同行专家 根据您的服务方案和研究方向，为您分配资深编辑和同行专家
03 交付及反馈 每个环节的服务会在您审阅和确认后进行下一步，根据您的反馈和建议做调整
04 提升稿件质量 我们将基于您的反馈并平衡期刊的投稿要求，为您进一步优化稿件
05 提交投稿 出版专家将在您确认定稿后，为您整理并检查所有必须文件，协助您完成期刊投稿。
06 投稿跟进 及时查询稿件状态，协助您与期刊编辑沟通，根据审稿意见协助修正文章
07 拒稿支持 若期刊拒稿，您可通过拒稿咨询服务发掘稿件的改进方案，并获取365天无限次向同期刊或其他期刊的重投服务
