Vicious circle principle, aggregates, and formation of sets in ASP based languages
The paper introduces an extension of the original Answer Set Prolog (ASP) by several set constructs including aggregates, defined as functions on sets. The new language, called Alog allows creating sets based on the Vicious Circle Principle by Poincaré and Russell which eliminates a number of probl...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Elsevier B.V.
2019
|
Subjects: | |
Online Access: | View Fulltext in Publisher |