LPAR 2007 (2007 Yerevan, Armenia)

• Logic for programming, artificial intelligence, and reasoning