136 citations
- Centre National de la Recherche ScientifiqueFR16 papers
- Aix-Marseille UniversitéFR14 papers
- Laboratoire d'Informatique Fondamentale d'Orléans12 papers
- Fafo FoundationNO5 papers
- King's College LondonGB5 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Carnegie Mellon UniversityUS3 papers
- Computer Science Laboratory of Lille3 papers
- École Normale Supérieure Paris-SaclayFR3 papers
- Innate Pharma (France)FR3 papers
- Laboratoire d'Informatique Algorithmique: Fondements et ApplicationsFR3 papers
- Laboratoire d’Informatique et SystèmesFR3 papers
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