Pages that link to "Item:Q2803057"
From MaRDI portal
The following pages link to Weighted first-order logics over semirings (Q2803057):
Displaying 6 items.
- On weighted first-order logics with discounting (Q2453983) (← links)
- Characterizations of Weighted First-Order Logics over Semirings (Q2850020) (← links)
- (Q5015275) (← links)
- A Weighted-Logic Representation of C-Revising Ordinal Conditional Functions (Q5876063) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)
- Semiring reasoning frameworks in AI and their computational complexity (Q6488781) (← links)