4 citations · 19 across the 27 of their papers we have counts for
Showing 2006 · math.LOShow all
2 papers · 2 filters
math.LO2006
Remarks on Inheritance Systems
Karl Schlechta
We try a conceptual analysis of inheritance diagrams, first in abstract terms, and then compare to "normality" and the "small/big sets" of preferential and related reasoning. The m…
math.LO2006★ 3 cited
Domain closure conditions and definability preservation
Karl Schlechta
We examine problems due to lack of domain closure and definability preservation