当前位置:
X-MOL 学术
›
arXiv.cs.CC
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Quantitative and Stream Extensions of Answer Set Programming
arXiv - CS - Computational Complexity Pub Date : 2021-09-17 , DOI: arxiv-2109.08281 Rafael KieselVienna University of Technology
arXiv - CS - Computational Complexity Pub Date : 2021-09-17 , DOI: arxiv-2109.08281 Rafael KieselVienna University of Technology
Answer Set Programming has separately been extended with constraints, to the
streaming domain, and with capabilities to reason over the quantities
associated with answer sets. We propose the introduction and analysis of a
general framework that incorporates all three directions of extension by
exploiting the strengths of Here-and-There Logic and Weighted Logic.
中文翻译:
答案集编程的定量和流扩展
答案集编程已单独扩展到约束、流域以及推理与答案集相关的数量的能力。我们建议通过利用这里和那里逻辑和加权逻辑的优势引入和分析一个包含所有三个扩展方向的通用框架。
更新日期:2021-09-20
中文翻译:
答案集编程的定量和流扩展
答案集编程已单独扩展到约束、流域以及推理与答案集相关的数量的能力。我们建议通过利用这里和那里逻辑和加权逻辑的优势引入和分析一个包含所有三个扩展方向的通用框架。