Quantitative and Stream Extensions of Answer Set Programming

09/17/2021
by   Rafael Kiesel, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/05/2020

Towards Metric Temporal Answer Set Programming

We elaborate upon the theoretical foundations of a metric temporal exten...
research
11/11/2021

Answer Set Programming Made Easy

We take up an idea from the folklore of Answer Set Programming, namely t...
research
03/09/2000

Fages' Theorem and Answer Set Programming

We generalize a theorem by Francois Fages that describes the relationshi...
research
11/20/2014

Justifying Answer Sets using Argumentation

An answer set is a plain set of literals which has no further structure ...
research
10/17/2011

Reasoning about Actions with Temporal Answer Sets

In this paper we combine Answer Set Programming (ASP) with Dynamic Linea...
research
04/26/2018

First-order answer set programming as constructive proof search

We propose an interpretation of the first-order answer set programming (...
research
09/16/2020

Network Analysis of Orchestral Concert Programming

Orchestral concert programming is a challenging, yet critical task for e...

Please sign up or login with your details

Forgot password? Click here to reset