Circumscription in Data Logic for Data Type Specification (Q4286217)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Circumscription in Data Logic for Data Type Specification |
scientific article; zbMATH DE number 540336
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Circumscription in Data Logic for Data Type Specification |
scientific article; zbMATH DE number 540336 |
Statements
Circumscription in Data Logic for Data Type Specification (English)
0 references
18 December 1994
0 references
data type specification
0 references
first-order logic
0 references
second-order logic
0 references
knowledge bases
0 references
nonmonotonic reasoning
0 references
circumscription
0 references
0.88015556
0 references
0.84987175
0 references
0.8426552
0 references
0.83822155
0 references
0.83700705
0 references
0.83268124
0 references
0.83060837
0 references
