| |
| 2008 | ||
|---|---|---|
| 2 | Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar: A Compact and Efficient SAT Encoding for Planning. ICAPS 2008: 296-303 | |
| 2006 | ||
| 1 | EE | Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang: LPForget: A System of Forgetting in Answer Set Programming. Australian Conference on Artificial Intelligence 2006: 1101-1105 |
| 1 | Fu-Leung Cheng | [1] |
| 2 | Thomas Eiter | [1] |
| 3 | Charles Gretton | [2] |
| 4 | Duc Nghia Pham | [2] |
| 5 | Abdul Sattar | [1] [2] |
| 6 | Kewen Wang | [1] |