Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-14726-0_14 | Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation |
Field | DocType | Citations |
Transition system,Specification language,Default logic,Programming language specification,Programming language,Computer science,Linear temporal logic,Language Of Temporal Ordering Specification,Constructed language,Soft goal | Conference | 1 |
PageRank | References | Authors |
0.36 | 11 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tran Cao Son | 1 | 1795 | 169.42 |
Enrico Pontelli | 2 | 1901 | 181.26 |
Chitta Baral | 3 | 2353 | 269.58 |