Pages that link to "Item:Q969538"
From MaRDI portal
The following pages link to Logic programs with abstract constraint atoms: the role of computations (Q969538):
Displaying 23 items.
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Why-provenance information for RDF, rules, and negation (Q2248547) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Relating weight constraint and aggregate programs: semantics and representation (Q2845120) (← links)
- Sampler programs: the stable model semantics of abstract constraint programs revisited (Q2883081) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- Stepwise Debugging of Description-Logic Programs (Q2900544) (← links)
- Vicious Circle Principle and Logic Programs with Aggregates (Q2931266) (← 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)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← 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)
- (Q5240210) (← links)
- (Q5296587) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)