arXiv Open Access 2018

Vicious Circle Principle and Logic Programs with Aggregates

Michael Gelfond Yuanlin Zhang

Lihat Sumber

Abstrak

The paper presents a knowledge representation language $\mathcal{A}log$ 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 $\mathcal{A}log$, an algorithm for computing its answer sets, and comparison with other approaches.

Topik & Kata Kunci

cs.AI

Penulis (2)

Michael Gelfond

Yuanlin Zhang

Format Sitasi

APA MLA BibTeX

Gelfond, M., Zhang, Y. (2018). Vicious Circle Principle and Logic Programs with Aggregates. https://arxiv.org/abs/1808.07050

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2018
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓