Andrew Shilliday

According to our database, Andrew Shilliday authored at least 10 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

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

Andrew Shilliday

PhD thesis, 2009

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, Patrick Henry Winston, Beverly Park Woolf

AI Mag., 2009

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

Proceedings of the Artificial General Intelligence 2008, 2008

Infinitary Model Finding in Support of Scientific Discovery.

Andrew Shilliday

Proceedings of the Automated Scientific Discovery, 2008

Organizing Committee.

Selmer Bringsjord, Andrew Shilliday

Proceedings of the Automated Scientific Discovery, 2008

2007

Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning.

Andrew Shilliday, Joshua Taylor, Micah Clark, Selmer Bringsjord

Proceedings of the Ontologies and Semantic Technologies for Intelligence [papers from the Second International Ontology for the Intelligence Community (OIC) Conference, 2007

The Multi-Mind Effect.

Selmer Bringsjord, Konstantine Arkoudas, Deepa Mukherjee, Andrew Edward Shilliday, Joshua Taylor, Micah Henry Clark, Elizabeth Bringsjord

Proceedings of the 2007 International Conference on Artificial Intelligence, 2007

Provability-Based Semantic Interoperability Via Translation Graphs.

Joshua Taylor, Andrew Shilliday, Selmer Bringsjord

Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Reporting on Some Logic-Based Machine Reading Research.

Selmer Bringsjord, Konstantine Arkoudas, Micah Clark, Andrew Shilliday, Joshua Taylor, Bettina Schimanski, Yingrui Yang

Proceedings of the Machine Reading, 2007

2006

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