Quantitative and Stream Extensions of Answer Set Programming
Logic in Computer Science
2021-09-20 v1 Artificial Intelligence
Computational Complexity
Abstract
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.
Cite
@article{arxiv.2109.08281,
title = {Quantitative and Stream Extensions of Answer Set Programming},
author = {Rafael Kiesel},
journal= {arXiv preprint arXiv:2109.08281},
year = {2021}
}
Comments
In Proceedings ICLP 2021, arXiv:2109.07914