Design and implementation of aggregate functions in the DLV system
From MaRDI portal
Publication:3546036
DOI10.1017/S1471068408003323zbMath1156.68010MaRDI QIDQ3546036
Tina Dell'Armi, Giuseppe Ielpa, Wolfgang Faber, Gerald Pfeifer, Nicola Leone
Publication date: 18 December 2008
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30) Logic programming (68N17)
Related Items
Supportedly stable answer sets for logic programs with generalized atoms, Logic Programming with Graded Modality, The Intelligent Grounder of DLV, Recursive rules with aggregation: a simple unified semantics, Shared aggregate sets in answer set programming, Improving the Normalization of Weight Rules in Answer Set Programs, Ordered completion for logic programs with aggregates, Rewriting recursive aggregates in answer set programming: back to monotonicity, Complexity and compilation of GZ-aggregates in answer set programming, Solving stable matching problems using answer set programming, Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs, Design and results of the Fifth Answer Set Programming Competition, Computing weighted solutions in ASP: representation-based method vs. search-based method, Hybrid ASP-based Approach to Pattern Mining, Gelfond-Zhang aggregates as propositional formulas, Answer Set Programming: A Primer, Vicious circle principle, aggregates, and formation of sets in ASP based languages, Forgetting auxiliary atoms in forks
Uses Software
Cites Work