Elisa : a new system for AI-assisted logico-mathematical scientific discovery incorporating novel techniques in infinite model finding

Elisa : a new system for AI-assisted logico-mathematical scientific discovery incorporating novel techniques in infinite model finding

Shilliday, Andrew Edward

Computer science

May 2009

School of Science

Rensselaer Polytechnic Institute, Troy, NY

Bringsjord, Selmer

Arkoudas, Konstantine

Goldberg, Mark

Cassimatis, Nicholas L. (Nicholas Louis), 1971-

2009-05

Electronic thesis

ENG

This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.

Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Research Libraries.