Reasoning with nominal schemas through absorption (Q2352498)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning with nominal schemas through absorption |
scientific article |
Statements
Reasoning with nominal schemas through absorption (English)
0 references
2 July 2015
0 references
description logics
0 references
nominal schemas
0 references
tableau theorem proving
0 references
absorption
0 references
implementation and optimisation techniques
0 references
0 references
