scientific article
From MaRDI portal
Publication:3624035
zbMath1182.68043arXiv1110.0023MaRDI QIDQ3624035
No author found.
Publication date: 28 April 2009
Full work available at URL: https://arxiv.org/abs/1110.0023
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Supportedly stable answer sets for logic programs with generalized atoms, Applying Visible Strong Equivalence in Answer-Set Program Transformations, Disjunctive Programs with Set Constraints, 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, Weight constraint programs with evaluable functions, Unnamed Item, Lparse Programs Revisited: Semantics and Representation of Aggregates
Uses Software
