| Breaking row and column symmetries in matrix models P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, J Pearson, T Walsh Principles and Practice of Constraint Programming-CP 2002, 187-192, 2006 | 285* | 2006 |
| Essence: A constraint language for specifying combinatorial problems AM Frisch, W Harvey, C Jefferson, B Martínez-Hernández, I Miguel Constraints 13 (3), 268-306, 2008 | 222 | 2008 |
| A Constraint Language for Specifying Combinatorial Problems AM Frisch, W Harvey, C Jefferson, B Martınez-Hernández, I Miguel | 222* | |
| Anytime deduction for probabilistic logic AM Frisch, P Haddawy Artificial Intelligence 69 (1-2), 93-122, 1994 | 172 | 1994 |
| Global constraints for lexicographic orderings AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh Principles and Practice of Constraint Programming-CP 2002, 179-203, 2006 | 170* | 2006 |
| The design of essence: A constraint language for specifying combinatorial problems AM Frisch, M Grum, C Jefferson, BM Hernández, I Miguel Proc., Twentieth International Joint Conference on Artificial Intelligence …, 2007 | 149* | 2007 |
| The rules of constraint modelling AM Frisch, C Jefferson, B Martínez-Hernández, I Miguel INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 19, 109, 2005 | 112 | 2005 |
| The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning AM Frisch Artificial intelligence 49 (1-3), 161-198, 1991 | 100 | 1991 |
| Generalization and learnability: A study of constrained atoms CD Page, AM Frisch Inductive Logic Programming, 29-61, 1992 | 91 | 1992 |
| Sat encodings of the at-most-k constraint. some old, some new, some fast, some slow AM Frisch, PA Giannaros Proc. of the Tenth Int. Workshop of Constraint Modelling and Reformulation, 2010 | 82 | 2010 |
| Solving non-boolean satisfiability problems with stochastic local search AM Frisch, TJ Peugniez INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 17 (1), 282-290, 2001 | 80 | 2001 |
| What's in a Semantic Network? JF Allen, AM Frisch Proceedings of the 20th annual meeting on Association for Computational …, 1982 | 74 | 1982 |
| A general framework for sorted deduction: Fundamental results on hybrid reasoning AM Frisch Proceedings of the first international conference on Principles of knowledge …, 1989 | 69 | 1989 |
| Matrix modelling P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh Proc. of the CP-01 Workshop on Modelling and Problem Formulation, 2001 | 68 | 2001 |
| CGRASS: A system for transforming constraint satisfaction problems AM Frisch, I Miguel, T Walsh Recent Advances in Constraints, 15-30, 2003 | 65 | 2003 |
| Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings AM Frisch, TJ Peugniez, AJ Doggett, PW Nightingale Journal of Automated Reasoning 35 (1), 143-179, 2005 | 64 | 2005 |
| The temporal knapsack problem and its solution M Bartlett, AM Frisch, Y Hamadi, I Miguel, S Tarim, C Unsworth Integration of AI and OR Techniques in Constraint Programming for …, 2005 | 63 | 2005 |
| Propagation algorithms for lexicographic ordering constraints AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh Artificial Intelligence 170 (10), 803-834, 2006 | 61 | 2006 |
| ARGOT: The Rochester dialogue system JF Allen, AM Frisch, DJ Litman Proceedings of the 2nd National Conference on Artificial Intelligence, 66-70, 1982 | 61 | 1982 |
| Natural language generation system for producing natural language instructions JL Morgan, AM Frisch, EW Hinrichs US Patent 5,181,250, 1993 | 55 | 1993 |
Ian MiguelUniversity of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证
