会员服务
ASP是Active Server Page的缩写，意为“动态服务器页面”。ASP是微软公司开发的代替CGI脚本程序的一种应用，它可以与数据库和其它程序进行交互，是一种简单、方便的编程工具。
A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
Arxiv
0+阅读 · 2025年12月18日
Declarative Synthesis and Multi-Objective Optimization of Stripboard Circuit Layouts Using Answer Set Programming
Arxiv
0+阅读 · 2025年12月4日
Computing Supported Models via Transformation to Stable Models
Arxiv
0+阅读 · 2025年12月5日
Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties
Arxiv
0+阅读 · 2025年12月3日
Finding Regular Herbrand Models for CHCs using Answer Set Programming
Arxiv
0+阅读 · 2025年10月30日
Inductive Learning for Possibilistic Logic Programs Under Stable Models
Arxiv
0+阅读 · 2025年10月8日
Towards end-to-end ASP computation
Towards end-to-end ASP computation
Arxiv
0+阅读 · 2025年10月2日
Refining Gelfond Rationality Principle Towards More Comprehensive Foundational Principles for Answer Set Semantics
Arxiv
0+阅读 · 2025年7月2日
Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
Arxiv
0+阅读 · 2025年8月5日
Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
Arxiv
0+阅读 · 2025年6月11日
Human-like Semantic Navigation for Autonomous Driving using Knowledge Representation and Large Language Models
Arxiv
0+阅读 · 2025年5月22日
Question Answering with LLMs and Learning from Answer Sets
Arxiv
0+阅读 · 2025年9月20日
Towards Industrial-scale Product Configuration
Arxiv
0+阅读 · 2025年3月26日
An Algebraic Approach to Weighted Answer-set Programming
Arxiv
0+阅读 · 2025年3月28日
An Algebraic Approach to Weighted Answer-set Programming
Arxiv
0+阅读 · 2025年3月26日
参考链接
微信扫码咨询专知VIP会员
Top