Pages that link to "Item:Q543597"

The following pages link to From answer set logic programming to circumscription via logic of GK (Q543597):

Displaying 10 items.

• Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
• John McCarthy's legacy (Q543573) (← links)
• Stable models and circumscription (Q543596) (← links)
• A progression semantics for first-order logic programs (Q1680677) (← links)
• From Turner’s Logic of Universal Causation to the Logic of GK (Q2900533) (← links)
• Thirteen Definitions of a Stable Model (Q3586017) (← links)
• Preferred First-Order Answer Set Programs (Q5169967) (← links)
• Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
• Disjunctive logic programs with existential quantification in rule heads (Q5398295) (← links)
• Twelve Definitions of a Stable Model (Q5504644) (← links)