Name
Year | Venue | Keywords |
|---|---|---|
2005 | Description Logics | description logic |
Field | DocType | Citations |
Semantic reasoner,Natural deduction,Axiom,Computer science,Automated theorem proving,Description logic,Theoretical computer science,Mathematical proof,Non-monotonic logic,Rule of inference | Conference | 1 |
PageRank | References | Authors |
0.35 | 5 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Xi Deng | 1 | 33 | 4.48 |
| Volker Haarslev | 2 | 1831 | 250.65 |
| Nematollaah Shiri | 3 | 280 | 28.31 |