Origins of Answer-Set Programming - Some Background And Two Personal Accounts

08/16/2011
by   Victor W. Marek, et al.
0

We discuss the evolution of aspects of nonmonotonic reasoning towards the computational paradigm of answer-set programming (ASP). We give a general overview of the roots of ASP and follow up with the personal perspective on research developments that helped verbalize the main principles of ASP and differentiated it from the classical logic programming.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/19/2019

The Seventh Answer Set Programming Competition: Design and Results

Answer Set Programming (ASP) is a prominent knowledge representation lan...
research
09/22/2020

An application of Answer Set Programming in Distributed Architectures: ASP Microservices

We propose an approach to the definition of microservices with an Answer...
research
07/28/2011

Complex Optimization in Answer Set Programming

Preference handling and optimization are indispensable means for address...
research
09/22/2021

Reactive Answer Set Programming

Logic Production System (LPS) is a logic-based framework for modelling r...
research
01/26/2017

Logic Programming Petri Nets

With the purpose of modeling, specifying and reasoning in an integrated ...
research
01/08/2013

Answer Set Programming for Stream Reasoning

The advance of Internet and Sensor technology has brought about new chal...
research
03/17/2023

Clingraph: A System for ASP-based Visualization

We present the ASP-based visualization tool clingraph which aims at visu...

Please sign up or login with your details

Forgot password? Click here to reset