Year | DOI | Venue |
---|---|---|
2005 | null | ICEIS (2) |
Keywords | Field | DocType |
multi agent system,temporal logic | Computation tree logic,Temporal logic of actions,Interval temporal logic,Computer science,Knowledge management,Multimodal logic,Description logic,Linear temporal logic,Artificial intelligence,Temporal logic,Formal verification | Conference |
Volume | Issue | ISSN |
null | null | null |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Youming Xia | 1 | 6 | 1.89 |
Hong Li Yin | 2 | 0 | 0.68 |
Lihong Zhao | 3 | 0 | 0.34 |