Pages that link to "Item:Q420824"

The following pages link to Ordered completion for first-order logic programs on finite structures (Q420824):

Displaying 4 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)