Pages that link to "Item:Q5038459"
From MaRDI portal
The following pages link to Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory (Q5038459):
Displaying 6 items.
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs (Q2900518) (← links)
- (Q3112638) (← links)
- On Reductive Semantics of Aggregates in Answer Set Programming (Q3643117) (← links)
- Evaluating Answer Set Programming with Non-Convex Recursive Aggregates (Q4589242) (← links)
- On the Complexity of Answer Set Programming with Aggregates (Q5425401) (← links)
- Embedding justification theory in approximation fixpoint theory (Q6566637) (← links)