Vicious Circle Principle and Logic Programs with Aggregates

05/14/2014

∙

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.

READ FULL TEXT

Vicious Circle Principle and Logic Programs with Aggregates

A Paraconsistent ASP-like Language with Tractable Model Generation

Debugging Non-Ground ASP Programs: Technique and Graphical Tools

On the Relation between Weak Completion Semantics and Answer Set Semantics

An xAI Approach for Data-to-Text Processing with ASP

Aggregate Semantics for Propositional Answer Set Programs

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models

Vicious Circle Principle and Logic Programs with Aggregates

Related Research

A Paraconsistent ASP-like Language with Tractable Model Generation

Debugging Non-Ground ASP Programs: Technique and Graphical Tools

On the Relation between Weak Completion Semantics and Answer Set Semantics

An xAI Approach for Data-to-Text Processing with ASP

Aggregate Semantics for Propositional Answer Set Programs

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models