LPAR 2005 (2005 Dec Montego Bay, Jamaica)

• Logic for programming, artificial intelligence, and reasoning