Pages that link to "Item:Q1315517"
From MaRDI portal
The following pages link to Vivid logic. Knowledge-based reasoning with two kinds of negation (Q1315517):
Displaying 7 items.
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Semantics-based nonmonotonic inference (Q1903578) (← links)
- Partial up an down logic (Q1903583) (← links)
- Description logics with contraries, contradictories, and subcontraries (Q2478592) (← links)
- Argument-based extended logic programming with defeasible priorities (Q3128365) (← links)
- Knowledge representation as domain (Q4354628) (← links)
