Theory and Practice of Logic Programming
短名 | Theory Pract. Log. Program. |
Journal Impact | 1.24 |
国际分区 | LOGIC(Q1) |
期刊索引 | SCI Q1中科院 2 区 |
ISSN | 1471-0684, 1475-3081 |
h-index | 50 |
国内分区 | 数学(2区)数学逻辑学(2区)数学计算机软件工程(3区)数学计算机理论方法(3区) |
逻辑程序设计理论与实践强调逻辑程序设计的理论与实践。逻辑编程适用于人工智能和计算机科学的所有领域,是它们的基础。涵盖的主题包括使用逻辑编程的人工智能应用程序、逻辑编程方法、规范、系统分析和验证、归纳逻辑编程、多关系数据挖掘、自然语言处理、知识表示、非单调推理、语义网络推理、数据库、实现和架构以及约束逻辑编程。
期刊主页涉及主题 | 计算机科学程序设计语言理论计算机科学人工智能数学哲学逻辑程序设计工程类认识论算法集合(抽象数据类型)语言学操作系统离散数学生物语义学(计算机科学)几何学答案集编程物理 |
出版信息 | 出版商: Cambridge University Press,出版周期: Bimonthly,期刊类型: journal |
基本数据 | 创刊年份: 2001,原创研究文献占比: 100.00%,自引率:7.10%, Gold OA占比: 46.51% |
平均审稿周期 | 网友分享经验:>12周,或约稿 |
平均录用比例 | 网友分享经验:容易 |
期刊引文格式
这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Multi-Shot Answer Set Programming for Flexible Payroll Management
2024-5-2
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
2024-4-2
Selected Papers from Datalog 2.0 2022
2024-3-1
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
2024-3-1
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)
2024-3-1
Model Explanation via Support Graphs
2024-2-29
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM
2024-2-29
IASCAR: Incremental Answer Set Counting by Anytime Refinement
2024-2-21
<i>Clingraph</i>: A System for ASP-based Visualization
2024-2-14
Epistemic Logic Programs: A Study of Some Properties
2024-2-5
Knowledge-Based Support for Adhesive Selection: Will it Stick?
2024-1-31
Locally Tight Programs
2024-1-19
CNL2ASP: Converting Controlled Natural Language Sentences into ASP
2023-12-20
Human Conditional Reasoning in Answer Set Programming
2023-12-14
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings
2023-11-28
Tau Prolog: A Prolog Interpreter for the Web
2023-9-18
Compositional Verification in Rewriting Logic
2023-8-31
Dyadic Existential Rules
2023-8-24
Querying Data Exchange Settings Beyond Positive Queries
2023-8-15
The Stable Model Semantics of Datalog with Metric Temporal Operators
2023-8-2
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games
2023-7-5
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction
2023-7-1
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
2023-7-1
Knowledge Authoring for Rules and Actions
2023-7-1
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP
2023-7-1
An Efficient Solver for ASP(Q)
2023-7-1
Introduction to the 39<sup>th</sup> International Conference on Logic Programming Special Issue
2023-7-1
Integrating Logic Rules with Everything Else, Seamlessly
2023-7-1
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
2023-7-1
“What if?” in Probabilistic Logic Programming
2023-7-1
External Behavior of a Logic Program and Verification of Refactoring
2023-7-1
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
2023-7-1
Implementing Backjumping by Means of Exception Handling
2023-7-1
Toward A Logical Theory Of Fairness and Bias
2023-7-1
Learnability with PAC Semantics for Multi-agent Beliefs
2023-7-1
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs
2023-7-1
Automatic Differentiation in Prolog
2023-7-1
An ASP Framework for the Refinement of Authorization and Obligation Policies
2023-7-1
On Program Completion, with an Application to the Sum and Product Puzzle
2023-7-1
Interactive Model Expansion in an Observable Environment
2023-7-1
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates
2023-7-1
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork
2023-6-26
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
2023-6-22
<scp>sm</scp><i>ProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation</i>
2023-5-25
Distributed Subweb Specifications for Traversing the Web
2023-4-25
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020)
2023-4-24
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications
2023-4-19
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach
2023-4-17
Disjunctive Delimited Control
2023-4-11
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
2023-1-26
帮你贴心管理全部的文献
研飞ivySCI,高效的论文管理
投稿经验分享
分享我的经验,帮你走得更远