| Event title | Tenth International Conference on Principles of Knowledge Representation and Reasoning |
|---|---|
| Location | The Lake District, , United KingdomShow on map |
| Period | 1 Feb 2006 |
First-order loop formulas for normal logic programs
- LIN, Fangzhen (Recipient), Chen, Yin (Recipient), Wang, Yisong (Recipient) & Zhang, Mingyi (Recipient)
Prize: Best Paper Award and Prize