Pages that link to "Item:Q2767096"
From MaRDI portal
The following pages link to Computing equilibrium models using signed formulas (Q2767096):
Displaying 7 items.
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Equilibrium logic (Q854969) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- A tableau calculus for equilibrium entailment (Q2721207) (← links)
- Fuzzy Equilibrium Logic (Q2946682) (← links)
- Logics in Artificial Intelligence (Q5394121) (← links)
- Logics in Artificial Intelligence (Q5394164) (← links)