Title | ||
---|---|---|
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. |
Year | Venue | Field |
---|---|---|
2012 | Description Logics | Random testing,Situation calculus,Computer science,Assertion,Description logic,Decidability,Test case,Rotation formalisms in three dimensions,Calculus,Undecidable problem |
DocType | Citations | PageRank |
Conference | 5 | 0.50 |
References | Authors | |
6 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wael Yehia | 1 | 10 | 1.69 |
Hongkai Liu | 2 | 124 | 7.41 |
Marcel Lippmann | 3 | 112 | 6.98 |
Franz Baader | 4 | 8123 | 646.64 |
Mikhail Soutchanski | 5 | 261 | 24.03 |