A new Gödelian argument for hypercomputing minds based on the busy beaver problem. - Selmer Bringsjord; Owen Kellett; Andrew Shilliday; Joshua Taylor; Bram van Heuveln; Yingrui Yang; Jeffrey Baumes; Kyle Ross (Appl. Math. Comput., 2006)

Reporting on Some Logic-Based Machine Reading Research. - Selmer Bringsjord; Konstantine Arkoudas; Micah Clark; Andrew Shilliday; Joshua Taylor; Bettina Schimanski; Yingrui Yang (AAAI Spring Symposium: Machine Reading, 2007)

Provability-Based Semantic Interoperability Via Translation Graphs. - Joshua Taylor; Andrew Shilliday; Selmer Bringsjord (ER Workshops, 2007)

The Multi-Mind Effect. - Selmer Bringsjord; Konstantine Arkoudas; Deepa Mukherjee; Andrew Edward Shilliday; Joshua Taylor; Micah Henry Clark; Elizabeth Bringsjord (IC-AI, 2007)

Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning. - Andrew Shilliday; Joshua Taylor; Micah Clark; Selmer Bringsjord (OIC, 2007)

Organizing Committee. - Selmer Bringsjord; Andrew Shilliday (AAAI Fall Symposium: Automated Scientific Discovery, 2008)

Infinitary Model Finding in Support of Scientific Discovery. - Andrew Shilliday (AAAI Fall Symposium: Automated Scientific Discovery, 2008)

Toward Logic-Based Cognitively Robust Synthetic Characters in Digital Environments. - Selmer Bringsjord; Andrew Shilliday; Joshua Taylor; Dan Werner; Micah Clark; Ed Charpentier; Alexander Bringsjord (AGI, 2008)

Reports of the AAAI 2008 Fall Symposia. - Jacob Beal; Paul Bello; Nicholas L. Cassimatis; Michael H. Coen; Paul R. Cohen; Alex Davis; Mark T. Maybury; Alexei V. Samsonovich; Andrew Shilliday; Marjorie Skubic; Joshua Taylor; Sharon Walter; et al. (AI Mag., 2009)

Elisa: a new system for AI-assisted logico-mathematical scientific discovery incorporating novel techniques in infinite model finding. - Andrew Shilliday (2009)