Pages that link to "Item:Q1199545"

The following pages link to The relationship between stable, supported, default and autoepistemic semantics for general logic programs (Q1199545):

Displaying 23 items.

• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
• Computing minimal models by partial instantiation (Q672131) (← links)
• Tie-breaking semantics and structural totality (Q676419) (← links)
• Logic programming as classical inference (Q898781) (← links)
• Stable models and difference logic (Q1028651) (← links)
• How complicated is the set of stable models of a recursive logic program? (Q1192346) (← links)
• Stable and extension class theory for logic programs and default logics (Q1197387) (← links)
• Autoepistemic logic programming (Q1344887) (← links)
• An alternative approach to the semantics of disjunctive logic programs and deductive databases (Q1344892) (← links)
• SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs (Q1350529) (← links)
• Disjunctive \(LP+\) integrity constraints = stable model semantics. (Q1353944) (← links)
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
• Extending and implementing the stable model semantics (Q1603743) (← links)
• Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
• Learning from interpretation transition (Q2251449) (← links)
• Gradient-based supported model computation in vector spaces (Q2694583) (← links)
• Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs (Q2884255) (← links)
• Oscillating Behavior of Logic Programs (Q2900531) (← links)
• A Measure of Arbitrariness in Abductive Explanations (Q2931272) (← links)
• Extending Co-logic Programs for Branching-Time Model Checking (Q3453651) (← links)
• Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
• Revision by communication (Q5101450) (← links)
• Default consequence relations as a logical framework for logic programs (Q5101454) (← links)