Vicious Circle Principle and Logic Programs with Aggregates
Authors: Michael Gelfond and Yuanlin Zhang
Paper Information
| Title: | Vicious Circle Principle and Logic Programs with Aggregates |
| Authors: | Michael Gelfond and Yuanlin Zhang |
| Proceedings: | ICLP 2014 VSL proceedings |
| Editors: | Michael Leuschel, Tom Schrijvers and Martin Gebser |
| Keywords: | Aggregates, Answer Set Programming, Non-monotonic Logic Programming |
| Abstract: | ABSTRACT. The paper presents a knowledge representation language Alog which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive and mathematical semantics. We give some properties of Alog, an algorithm for computing its answer sets, and comparison with other approaches. |
| Pages: | 18 |
| Talk: | Jul 20 15:00 |
| Paper: |  |