LPAR 2004 (2005 Montevideo, Uruguay)

• Logic for programming, artificial intelligence, and reasoning