Title | ||
---|---|---|
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. |
Year | Venue | Keywords |
---|---|---|
2014 | KR | description logics |
Field | DocType | Citations |
Ontology (information science),Forgetting,Computer science,Interpolation,Description logic,Algorithm,Theoretical computer science | Conference | 8 |
PageRank | References | Authors |
0.47 | 18 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michel Ludwig | 1 | 113 | 7.67 |
Boris Konev | 2 | 569 | 42.08 |