Pages that link to "Item:Q892233"
From MaRDI portal
The following pages link to Ordered completion for logic programs with aggregates (Q892233):
Displayed 4 items.
- 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)