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

Authors
Shilliday, Andrew Edward
ORCID
Loading...
Thumbnail Image
Other Contributors
Bringsjord, Selmer
Arkoudas, Konstantine
Goldberg, Mark
Cassimatis, Nicholas L. (Nicholas Louis), 1971-
Issue Date
2009-05
Keywords
Computer science
Degree
PhD
Terms of Use
This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
Full Citation
Abstract
Description
May 2009
School of Science
Department
Dept. of Computer Science
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Relationships
Rensselaer Theses and Dissertations Online Collection
Access
Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Research Libraries.