Handling inheritance in a system integrating logic in objects (Q4332034)
From MaRDI portal
scientific article; zbMATH DE number 983888
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Handling inheritance in a system integrating logic in objects |
scientific article; zbMATH DE number 983888 |
Statements
Handling inheritance in a system integrating logic in objects (English)
0 references
27 February 1997
0 references
Knowledge representation
0 references
Objects
0 references
Many-sorted logic
0 references
Integrated system
0 references
Logical formulas inheritance
0 references
Specialisation types
0 references
Inheritance control
0 references
