• Vardi
• A. C. Kakas
• F. Toni
• Papers by Bart Selman
• My Old Kentucky Home Page
• Papers by I. Niemela
• smodels#Niemela#soft
• Test case generation # Niemela
• implementation#circum#Niemela
• Ilkka Niemela: Papers
• Kautz
• Martha Sideri
• List of Publications Przymusinski
• Teodor Przymusinski
• Professor Peter Gärdenfors
• Miroslaw Truszczynski
• Grigoris Antoniou - NMR
• Nada Lavrac
• Hector Geffner - a link
• Craig Boutilier
• Rodney A. Brooks
• Tom Bylander
• Marco Cadoli
• Hector Geffner
• Henry Kautz
• Christos H. Papadimitriou
• David Poole
• Bart Selman
• Lynn Stein
• Allen Van Gelder
• People on the Web
• Home page for David B. Leake, CS Dept., Indiana U.