Pages that link to "Item:Q2946644"
From MaRDI portal
The following pages link to Logic programs with propositional connectives and aggregates (Q2946644):
Displayed 23 items.
- The loop formula based semantics of description logic programs (Q764312) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← 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)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (Q4559801) (← links)
- Translating LPOD and CR-Prolog<sub>2</sub>into standard answer set programs (Q4559816) (← 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)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- (Q5020542) (← links)
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory (Q5038459) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- Modular Answer Set Programming as a Formal Specification Language (Q5140013) (← links)
- ASP (): Answer Set Programming with Algebraic Constraints (Q5140023) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)