Pages that link to "Item:Q5277727"
From MaRDI portal
The following pages link to Minimum model semantics for logic programs with negation-as-failure (Q5277727):
Displaying 20 items.
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- A game semantics for disjunctive logic programming (Q388214) (← links)
- A game-theoretic characterization of Boolean grammars (Q631778) (← links)
- Well-founded semantics for Boolean grammars (Q840701) (← links)
- Logic programming as classical inference (Q898781) (← links)
- Locally stratified Boolean grammars (Q948094) (← links)
- Strong equivalence of logic programs under the infinite-valued semantics (Q987828) (← links)
- Evaluation of queries under closed-world assumption. II: The hierarchical case (Q1584999) (← links)
- A fixed point theorem for non-monotonic functions (Q2257304) (← links)
- An infinite-game semantics for well-founded negation in logic programming (Q2474440) (← links)
- Extensional Semantics for Higher-Order Logic Programs with Negation (Q2835890) (← links)
- A Minimal Model Semantics for Nonmonotonic Reasoning (Q2915074) (← links)
- Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (Q2931276) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
- The infinite-valued semantics: overview, recent results and future directions (Q4583316) (← links)
- Minimal models vs. logic programming: the case of counterfactual conditionals (Q4583350) (← links)
- The intricacies of three-valued extensional semantics for higher-order logic programs (Q4592720) (← links)
- Generic models of logic programs (Q4716046) (← links)
- On Minimal Models (Q5436989) (← links)
- Description logics of minimal knowledge and negation as failure (Q5738954) (← links)
