Pages that link to "Item:Q3112629"

The following pages link to (Q3112629):

Displaying 5 items.

• Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
• Stable models and circumscription (Q543596) (← links)
• Extended RDF: computability and complexity issues (Q905991) (← links)
• A progression semantics for first-order logic programs (Q1680677) (← links)
• Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)