Pages that link to "Item:Q892233"
From MaRDI portal
The following pages link to Ordered completion for logic programs with aggregates (Q892233):
Displaying 7 items.
- Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
- Loop-separable programs and their first-order definability (Q543631) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- First-order stable model semantics with intensional functions (Q2321299) (← links)
- (Q4800166) (← links)