Name
Year | DOI | Venue |
|---|---|---|
2018 | 10.24963/ijcai.2018/661 | IJCAI |
Field | DocType | Citations |
Integer,Epistemic modal logic,Model checking,Computer science,Multi-agent system,Decidability,Theoretical computer science,Artificial intelligence,Probabilistic logic,Machine learning,Satisfiability modulo theories,Undecidable problem | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Chen Fu | 1 | 109 | 6.59 |
| Andrea Turrini | 2 | 153 | 17.00 |
| Xiaowei Huang | 3 | 286 | 24.73 |
| Lei Song | 4 | 31 | 5.45 |
| Yuan Feng | 5 | 218 | 38.29 |
| Lijun Zhang | 6 | 245 | 37.10 |