会员服务
ASP是Active Server Page的缩写，意为“动态服务器页面”。ASP是微软公司开发的代替CGI脚本程序的一种应用，它可以与数据库和其它程序进行交互，是一种简单、方便的编程工具。
Joint Air Traffic Flow and Capacity Management via Answer Set Programming
Arxiv
0+阅读 · 6月22日
Accelerating NeurASP with vectorization and caching
Arxiv
0+阅读 · 6月18日
From ASR to ASP: Evaluating Prompt Attack Vulnerabilities Against Open-Source LLMs
Arxiv
0+阅读 · 6月14日
Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
Arxiv
0+阅读 · 6月1日
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
Arxiv
0+阅读 · 5月22日
An ASP-based approach to Solving General Stochastic Two-Player Games
Arxiv
0+阅读 · 5月22日
Parametric Modular Answer Set Programs Made Declarative
Arxiv
0+阅读 · 5月21日
LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
Arxiv
0+阅读 · 6月11日
An XAI View on Explainable ASP: Methods, Systems, and Perspectives
Arxiv
0+阅读 · 6月10日
A Normative Intermediate Representation for ASP-Based Compliance Reasoning
Arxiv
0+阅读 · 6月3日
Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
Arxiv
0+阅读 · 6月2日
Accelerating NeurASP with vectorization and caching
Arxiv
0+阅读 · 6月9日
Answer Set Programming for Egg Extraction and More
Arxiv
0+阅读 · 6月9日
Event Calculus Meets Hybrid ASP
Arxiv
0+阅读 · 6月3日
Long-term Power Grid Planning via Answer Set Programming
Arxiv
0+阅读 · 5月19日
参考链接
微信扫码咨询专知VIP会员
Top