Pages that link to "Item:Q3129493"

The following pages link to Stable models and their computation for logic programming with inheritance and true negation (Q3129493):

Displaying 9 items.

• Contributions to the stable model semantics of logic programs with negation (Q672705) (← links)
• A note on the stable model semantics for logic programs (Q1127348) (← links)
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
• Logic programs with stable model semantics as a constraint programming paradigm (Q1978008) (← links)
• From here to there: Stable negation in logic programming (Q2715522) (← links)
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
• On the existence of stable models of non-stratified logic programs (Q3426203) (← links)
• (Q4375823) (← links)
• An authorization model and its formal semantics (Q5862296) (← links)