Pages that link to "Item:Q3432855"
From MaRDI portal
The following pages link to A Constructive semantic characterization of aggregates in answer set programming (Q3432855):
Displayed 27 items.
- Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Complexity results for probabilistic answer set programming (Q2302961) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Supportedly stable answer sets for logic programs with generalized atoms (Q2360180) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Q2835899) (← links)
- Relating weight constraint and aggregate programs: Semantics and representation (Q2845120) (← links)
- Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549) (← links)
- Vicious Circle Principle and Logic Programs with Aggregates (Q2931266) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- A Formal Theory of Justifications (Q3449209) (← links)
- Multivalued action languages with constraints in CLP(FD) (Q3550913) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (Q4559801) (← links)
- Scaling-up reasoning and advanced analytics on BigData (Q4559832) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- Fixpoint semantics and optimization of recursive Datalog programs with aggregates (Q4592728) (← 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)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- Lparse Programs Revisited: Semantics and Representation of Aggregates (Q5504666) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)