Pages that link to "Item:Q1197387"
From MaRDI portal
The following pages link to Stable and extension class theory for logic programs and default logics (Q1197387):
Displaying 21 items.
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- Expressive power and complexity of partial models for disjunctive deductive databases (Q1274974) (← links)
- Interpreting disjunctive logic programs based on a strong sense of disjunction (Q1311401) (← links)
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning (Q1311405) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- Logic program semantics and circumscription of autoepistemic theories (Q1327306) (← links)
- Autoepistemic logic programming (Q1344887) (← links)
- Autoepistemic logic of first order and its expressive power (Q1344888) (← links)
- Generalized disjunctive well-founded semantics for logic programs. (Q1354026) (← links)
- The expressive powers of stable models for bound and unbound DATALOG queries (Q1362337) (← links)
- Operational characterization of extensions in some logics for default reasoning (Q1364501) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- Functional queries in datalog (Q1862647) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Oscillating Behavior of Logic Programs (Q2900531) (← links)
- Logics with Common Weak Completions (Q3431977) (← links)
- On logical constraints in logic programming (Q5101440) (← links)
- On the extension of logic programming with negation through uniform proofs (Q5101453) (← links)
- Stable classes and operator pairs for disjunctive programs (Q5101462) (← links)
- On logics and semantics for general logic programs (Q6623792) (← links)
