Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures (Q3460382)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures |
scientific article |
Statements
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures (English)
0 references
7 January 2016
0 references
