Search results for: Simon Colton
Entertainment Computing > 2018 > 27 > C > 1-9
IEEE Transactions on Computational Intelligence and AI in Games > 2017 > 9 > 3 > 254 - 266
IEEE Transactions on Computational Intelligence and AI in Games > 2017 > 9 > 2 > 192 - 203
Lecture Notes in Computer Science > Artificial Intelligence, Automated Reasoning, and Symbolic Computation > Calculemus Regular Talks > 259-274
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to MKM 2007 > 205-220
Lecture Notes in Computer Science > Applications of Evolutionary Computation > EvoGAMES Contributions > 100-110
Lecture Notes in Computer Science > Mathematical Knowledge Management > Contributed Papers > 237-250
Lecture Notes in Computer Science > Applications of Evolutionary Computation > EvoGAMES Contributions > 111-120
Lecture Notes in Computer Science > Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 > Knowledge Acquisition and Machine Learning > 349-359
Lecture Notes in Computer Science > Automated Deduction – CADE-19 > Session 8: System Descriptions > 289-294
Lecture Notes in Computer Science > Applications of Evolutionary Computing > EvoMUSART Contributions > 381-391
Lecture Notes in Computer Science > Applications of Evolutionary Computing > EvoGAMES Contributions > 283-292
Lecture Notes in Computer Science > Artificial Intelligence, Automated Reasoning, and Symbolic Computation > Calculemus Regular Talks > 275-289
Studies in Computational Intelligence > Model-Based Reasoning in Science and Technology > Formal and Computational Aspects of Model Based Reasoning > 301-314