会员服务
ASP是Active Server Page的缩写，意为“动态服务器页面”。ASP是微软公司开发的代替CGI脚本程序的一种应用，它可以与数据库和其它程序进行交互，是一种简单、方便的编程工具。
Diagnosing Unknown Attacks in Smart Homes Using Abductive Reasoning
Arxiv
0+阅读 · 12月14日
Direct Encoding of Declare Constraints in ASP
Arxiv
0+阅读 · 12月13日
Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMs
Arxiv
0+阅读 · 12月12日
Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
Arxiv
0+阅读 · 12月9日
A Pipeline of Neural-Symbolic Integration to Enhance Spatial Reasoning in Large Language Models
Arxiv
0+阅读 · 11月27日
Constructing Trustworthy Smart Contracts
Arxiv
0+阅读 · 11月21日
Physics-Aware Combinatorial Assembly Sequence Planning using Data-free Action Masking
Arxiv
0+阅读 · 11月8日
Learning Brave Assumption-Based Argumentation Frameworks via ASP
Arxiv
0+阅读 · 11月8日
ION-C: Integration of Overlapping Networks via Constraints
Arxiv
0+阅读 · 11月6日
On the generalization of learned constraints for ASP solving in temporal domains
Arxiv
0+阅读 · 10月15日
Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
Arxiv
0+阅读 · 10月28日
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Arxiv
0+阅读 · 10月1日
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Arxiv
0+阅读 · 9月28日
Enumerating Minimal Unsatisfiable Cores of LTLf formulas
Arxiv
0+阅读 · 9月14日
Certifiable Black-Box Attacks with Randomized Adversarial Examples: Breaking Defenses with Provable Confidence
Arxiv
0+阅读 · 9月6日
参考链接
父主题
编程语言
微信扫码咨询专知VIP会员
Top