会员服务
《逻辑程序设计理论与实践》是一本国际性的期刊，它发表的论著涵盖了逻辑程序设计的理论与实践。逻辑适用于人工智能和计算机科学的所有领域。逻辑编程是这些领域的基础。其中包括使用逻辑编程的人工智能应用程序、逻辑编程方法、系统规范、分析和验证、归纳逻辑编程、多关系数据挖掘、自然语言处理、知识表示、非单调推理、语义web推理、数据库，实现和架构以及约束逻辑编程。 官网链接：https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming
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日
Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings
Arxiv
0+阅读 · 2023年10月19日
Tau Prolog: A Prolog interpreter for the Web
Arxiv
0+阅读 · 2023年8月23日
Dyadic Existential Rules
Arxiv
0+阅读 · 2023年7月22日
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games
Arxiv
0+阅读 · 2023年7月7日
Querying Data Exchange Settings Beyond Positive Queries
Arxiv
0+阅读 · 2023年7月6日
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games
Arxiv
0+阅读 · 2023年6月13日
The Stable Model Semantics of Datalog with Metric Temporal Operators
Arxiv
0+阅读 · 2023年6月13日
An ASP Framework for the Refinement of Authorization and Obligation Policies
Arxiv
0+阅读 · 2023年5月22日
Verifying Tight Logic Programs with anthem and Vampire
Arxiv
0+阅读 · 2023年5月1日
参考链接
父主题
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top