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 11 items.

• Contributions to the stable model semantics of logic programs with negation (Q672705) (← links)
• The loop formula based semantics of description logic programs (Q764312) (← links)
• Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
• A note on the stable model semantics for logic programs (Q1127348) (← links)
• Disjunctive \(LP+\) integrity constraints = stable model semantics. (Q1353944) (← links)
• Logic programs with stable model semantics as a constraint programming paradigm (Q1978008) (← 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)
• Sampler programs: the stable model semantics of abstract constraint programs revisited (Q2883081) (← links)
• On the existence of stable models of non-stratified logic programs (Q3426203) (← links)
• On logical constraints in logic programming (Q5101440) (← links)