Pages that link to "Item:Q3546036"
From MaRDI portal
The following pages link to Design and implementation of aggregate functions in the DLV system (Q3546036):
Displaying 19 items.
- Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Forgetting auxiliary atoms in forks (Q2321342) (← links)
- Supportedly stable answer sets for logic programs with generalized atoms (Q2360180) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- Logic Programming with Graded Modality (Q3449234) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Rewriting recursive aggregates in answer set programming: back to monotonicity (Q4592997) (← links)
- Complexity and compilation of GZ-aggregates in answer set programming (Q4592998) (← links)
- Solving stable matching problems using answer set programming (Q4593026) (← links)
- Hybrid ASP-based Approach to Pattern Mining (Q4957187) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424884) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)
