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 Yehia1101.69
Hongkai Liu21247.41
Marcel Lippmann31126.98
Franz Baader48123646.64
Mikhail Soutchanski526124.03