Pages that link to "Item:Q3183130"

The following pages link to Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130):

Displaying 3 items.

• The loop formula based semantics of description logic programs (Q764312) (← links)
• Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
• Relating weight constraint and aggregate programs: Semantics and representation (Q2845120) (← links)