Pages that link to "Item:Q420824"
From MaRDI portal
The following pages link to Ordered completion for first-order logic programs on finite structures (Q420824):
Displaying 6 items.
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- Knowledge compilation of logic programs using approximation fixpoint theory (Q4592990) (← links)
- Fuzzy answer set computation via satisfiability modulo theories (Q4592999) (← links)
- Preferred First-Order Answer Set Programs (Q5169967) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
