Ramin Ramezani

Former PhD Student (Imperial)

Current Website

About me

I am a PhD student in the group working on the Wheelbarrow Project, with interests in the automatic reformulation of AI problems and combined reasoning. I completed my thesis on “An Artificial Intelligence Framework for Investigative Reasoning” in 2014.

Publications

Colton, Simon; Ramezani, Ramin; Llano, Maria Teresa

The HR3 discovery system: Design decisions and implementation details Inproceedings

In: Proceedings of the AISB symposium on Computational Scientific Discovery, 2014.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon; Ramezani, Ramin; Charnley, John; Reed, Kate

A Discussion on Serendipity in Creative Systems Inproceedings

In: Proceedings of the Fourth International Conference on Computational Creativity, pp. 64–71, 2013.

Abstract | Links | BibTeX

Pease, Alison; Colton, Simon; Ramezani, Ramin; Smaill, Alan; Guhe, Markus

Using Analogical Representations for Mathematical Concept Formation Incollection

In: Model-Based Reasoning in Science and Technology, 314 , pp. 301–314, Springer Berlin Heidelberg, 2010, ISBN: 978-3-642-15222-1.

Abstract | Links | BibTeX

Pease, Alison; Smaill, Alan; Colton, Simon; Ireland, Andrew; Llano, Maria Teresa; Ramezani, Ramin; Grov, Gudmund; Guhe, Markus

Applying Lakatos-style reasoning to AI problems Book Chapter

In: Thinking Machines and the philosophy of computer science: Concepts and principles., Chapter 10, pp. 149–174, Information Science Reference, 2010, ISBN: 9781616920142.

Abstract | Links | BibTeX

Ramezani, Ramin; Colton, Simon

Automatic Generation of Dynamic Investigation Problems Inproceedings

In: Proceedings of the Automated Reasoning Workshop, pp. 34, Citeseer 2010.

Abstract | Links | BibTeX

Ramezani, Ramin; Colton, Simon

Solving Mutilated Problems Inproceedings

In: Automated Reasoning Workshop, pp. 27, 2009.

Abstract | Links | BibTeX