Quantitative and Stream Extensions of Answer Set Programming
Rafael Kiesel (Vienna University of Technology)

TL;DR
This paper introduces a comprehensive framework that integrates constraints, streaming capabilities, and quantitative reasoning into Answer Set Programming using Here-and-There Logic and Weighted Logic.
Contribution
It presents a novel unified framework combining three major extensions of Answer Set Programming, leveraging logical foundations for enhanced reasoning capabilities.
Findings
Unified framework successfully integrates multiple extensions.
Framework demonstrates theoretical soundness and potential for practical applications.
Provides a basis for future research in advanced Answer Set Programming techniques.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation · Logic, programming, and type systems
