Pages that link to "Item:Q2715522"
From MaRDI portal
The following pages link to From here to there: Stable negation in logic programming (Q2715522):
Displaying 17 items.
- A non-deterministic view on non-classical negations (Q813081) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Equilibrium logic (Q854969) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- On the relations between stable and well-founded semantics of logic programs (Q1200977) (← links)
- `Classical' negation in nonmonotonic reasoning and logic programming (Q1382156) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
- Logics with Common Weak Completions (Q3431977) (← links)
- What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)
- Algebraic semantics for modal and superintuitionistic non-monotonic logics (Q4583313) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Tableaux for logic programming with strong negation (Q4610313) (← links)
- Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective (Q5038473) (← links)
- Logic programming with strong negation (Q5053013) (← links)
- Default Negation as Explicit Negation plus Update (Q5059691) (← links)