会员服务
《逻辑程序设计理论与实践》是一本国际性的期刊，它发表的论著涵盖了逻辑程序设计的理论与实践。逻辑适用于人工智能和计算机科学的所有领域。逻辑编程是这些领域的基础。其中包括使用逻辑编程的人工智能应用程序、逻辑编程方法、系统规范、分析和验证、归纳逻辑编程、多关系数据挖掘、自然语言处理、知识表示、非单调推理、语义web推理、数据库，实现和架构以及约束逻辑编程。 官网链接：https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming
The Temporal Vadalog System: Temporal Datalog-based Reasoning
Arxiv
0+阅读 · 12月17日
On the generalization of learned constraints for ASP solving in temporal domains
Arxiv
0+阅读 · 10月15日
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
Arxiv
0+阅读 · 9月30日
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
Arxiv
0+阅读 · 8月29日
Symbolic Parameter Learning in Probabilistic Answer Set Programming
Arxiv
0+阅读 · 8月16日
Solving Decision Theory Problems with Probabilistic Answer Set Programming
Arxiv
0+阅读 · 8月21日
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12
Arxiv
0+阅读 · 7月9日
Simulating dynamic systems using Linear Time Calculus theories
Arxiv
0+阅读 · 6月17日
Property-Based Testing by Elaborating Proof Outlines
Arxiv
0+阅读 · 6月14日
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
Arxiv
0+阅读 · 3月21日
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
Arxiv
0+阅读 · 2月5日
Verification of Locally Tight Programs
Arxiv
0+阅读 · 2023年12月24日
Verification of Locally Tight Programs
Arxiv
0+阅读 · 2023年12月14日
CNL2ASP: converting controlled natural language sentences into ASP
Arxiv
0+阅读 · 2023年11月17日
Knowledge-Based Support for Adhesive Selection: Will it Stick?
Arxiv
0+阅读 · 2023年11月7日
参考链接
父主题
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top