• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

美国
投稿预审
Theory and Practice of Logic Programming 中科院2区 JCR:Q4 JCR:Q1 JCR:Q3 SCIE EI JST
发文量 961
被引量 15,421
影响因子(2025版) 0.902

Theory and Practice of Logic Programming is a fully gold open access journal. It emphasizes 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.

  • 主办单位： CAMBRIDGE UNIV PRESS
  • 出版地区： CAMBRIDGE
  • 出版周期： 年6期
  • 别名： THEOR PRACT LOG PROG;Theory Pract. Log. Program.;THEORY AND PRACTICE OF LOGIC PROGRAMMING;逻辑程序设计的理论与实践
  • 国际标准连续出版物号/电子版： ISSN 1471-0684 / EISSN 1475-3081
  • 创刊时间： 2001年
热门主题：

程序逻辑静态检测非单调推理专刊专版Horn子句析取逻辑程序知识表示与推理概率逻辑回答集编程时态推理ASP体系约束程序设计知识表示法解算器声明式编程逻辑约束编程概率逻辑程序稳定室友问题稳定模型语义语义学

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
  • 1
  • 2
  • 3
目录
封面
2025年6期

2025年6期

客服咨询
投稿相关：023-63416211
撤稿相关：023-63012682
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号