The following pages link to Yining Wu (Q2269505):
Displayed 5 items.
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming (Q2269506) (← links)
- Implementing crash-resistance and non-interference in logic-based argumentation (Q3195614) (← links)
- An argument game for stable semantics (Q3613173) (← links)
- Transforming Fuzzy Description Logic $\mathcal{ALC}_\mathcal{FL}$ into Classical Description Logic $\mathcal{ALCH}$ (Q5507388) (← links)
- Why grid cells function as a metric for space (Q6079060) (← links)