Pages that link to "Item:Q1349967"

The following pages link to Multiple total stable models are definitely needed to solve unique solution problems (Q1349967):

Displaying 4 items.

• Circumscribing DATALOG: expressive power and complexity (Q1127538) (← links)
• The expressive powers of stable models for bound and unbound DATALOG queries (Q1362337) (← links)
• Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\). (Q1854304) (← links)
• The expressive power of unique total stable model semantics (Q4572012) (← links)