Pages that link to "Item:Q1199545"
From MaRDI portal
The following pages link to The relationship between stable, supported, default and autoepistemic semantics for general logic programs (Q1199545):
Displaying 7 items.
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Tie-breaking semantics and structural totality (Q676419) (← links)
- Logic programming as classical inference (Q898781) (← links)
- Stable models and difference logic (Q1028651) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Learning from interpretation transition (Q2251449) (← links)
