Alan Smaill
According to our database1,
Alan Smaill
authored at least 53 papers
between 1988 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018
Proceedings of the 23rd European Conference on Pattern Languages of Programs, 2018
Proceedings of the Concept Invention, 2018
2017
Ann. Math. Artif. Intell., 2017
2015
Proceedings of the Sixth International Conference on Computational Creativity, 2015
2014
Proceedings of the Fifth International Conference on Computational Creativity, 2014
Proceedings of the Artificial Intelligence and Symbolic Computation, 2014
2013
Top. Cogn. Sci., 2013
2012
Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012
2011
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling.
J. Autom. Reason., 2011
Cogn. Syst. Res., 2011
2010
Proceedings of the International Conference on Computational Creativity, 2010
2009
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009
Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009
2008
Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008
2007
A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments.
Proceedings of the FUZZ-IEEE 2007, 2007
2006
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
2005
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005
Proceedings of the Automated Deduction, 2005
2004
Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004
2002
Proceedings of the Logic for Programming, 2002
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002
2001
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
2000
Local Search on Random 2+p-SAT.
Proceedings of the ECAI 2000, 2000
Proceedings of the Computational Logic, 2000
Musical Knowledge: What can Artificial Intelligence Bring to the Musician?
Proceedings of the Readings in Music and Artificial Intelligence, 2000
1999
J. Autom. Reason., 1999
Autom. Softw. Eng., 1999
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999
1998
Ann. Math. Artif. Intell., 1998
Proceedings of the Automated Deduction, 1998
1996
Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996
1994
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994
1993
Comput. Humanit., 1993
Proceedings of the Music Education: An Artificial Intelligence Approach, 1993
Proceedings of the Music Education: An Artificial Intelligence Approach, 1993
1992
Proceedings of the Logic Programming and Automated Reasoning, 1992
Proceedings of the Automated Deduction, 1992
1991
An Algebraic Semantics of Prolog Program Termination.
Proceedings of the Logic Programming, 1991
1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989
1988
Reflection in Constructive and Non-constructive Automated Reasoning.
Proceedings of the Meta-Programming in Logic Programming, 1988