Pages that link to "Item:Q1678418"
From MaRDI portal
The following pages link to System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases (Q1678418):
Displaying 2 items.