Consequence-based axiom pinpointing (Q6109615)
From MaRDI portal
scientific article; zbMATH DE number 7719975
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Consequence-based axiom pinpointing |
scientific article; zbMATH DE number 7719975 |
Statements
Consequence-based axiom pinpointing (English)
0 references
28 July 2023
0 references
consequence-based reasoning
0 references
nonstandard reasoning
0 references
consequence management
0 references
