Pages that link to "Item:Q1382156"
From MaRDI portal
The following pages link to `Classical' negation in nonmonotonic reasoning and logic programming (Q1382156):
Displaying 14 items.
- Vivid logic. Knowledge-based reasoning with two kinds of negation (Q1315517) (← links)
- Autoepistemic logic of knowledge and beliefs (Q1389599) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Belief revision via Lamarckian evolution (Q1877376) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- Epistemology and artificial intelligence (Q2565612) (← links)
- Logic programming -- taking advantage of symmetry (Q2725957) (← links)
- The Non-Boolean Logic of Natural Language Negation (Q4282804) (← links)
- (Q4537975) (← links)
- (Q4636036) (← links)
- (Q4870572) (← links)
- Contextual hypotheses and semantics of logic programs (Q4897703) (← links)
- Collaborative vs. Conflicting Learning, Evolution and Argumentation (Q5302474) (← links)
- Strong Negation and Equivalence in the Safe Belief Semantics (Q5431610) (← links)