| 2023 | IJCAI | Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). | zgr Akgn, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2013 | CP | Automated Symmetry Breaking and Model Selection in Conjure. | Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale |
| 2011 | AAAI | Extensible Automated Constraint Modelling. | Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich |
| 2009 | CP | The Proper Treatment of Undefinedness in Constraint Languages. | Alan M. Frisch, Peter J. Stuckey |
| 2007 | IJCAI | The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. | Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martnez Hernndez, Ian Miguel |
| 2005 | CP | Towards the Systematic Generation of Channelling Constraints. | Bernadette Martnez Hernndez, Alan M. Frisch |
| 2005 | CPAIOR | The Temporal Knapsack Problem and Its Solution. | Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth |
| 2005 | IJCAI | The Rules of Constraint Modelling. | Alan M. Frisch, Christopher Jefferson, Bernadette Martnez Hernndez, Ian Miguel |
| 2004 | ECAI | Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. | Alan M. Frisch, Christopher Jefferson, Ian Miguel |
| 2003 | CP | Constraints for Breaking More Row and Column Symmetries. | Alan M. Frisch, Christopher Jefferson, Ian Miguel |
| 2003 | IJCAI | Multiset Ordering Constraints. | Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh |
| 2003 | SAT | The Interaction Between Inference and Branching Heuristics. | Lyndon Drake, Alan M. Frisch |
| 2002 | AAAI | Combining Inference and Search for the Propositional Satisfiability Problem. | Lyndon Drake, Alan M. Frisch |
| 2002 | CP | Automatic Generation of Implied Clauses for SAT. | Lyndon Drake, Alan M. Frisch, Toby Walsh |
| 2002 | CP | Breaking Row and Column Symmetries in Matrix Models. | Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh |
| 2002 | CP | Global Constraints for Lexicographic Orderings. | Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh |
| 2002 | FMCAD | A Fixpoint Based Encoding for Bounded Model Checking. | Alan M. Frisch, Daniel Sheridan, Toby Walsh |
| 2001 | IJCAI | Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. | Alan M. Frisch, Timothy J. Peugniez |
| 1999 | ILP | Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming. | Alan M. Frisch |
| 1997 | ILP | Cautious Induction in Inductive Logic Programming. | Simon Anthony, Alan M. Frisch |
| 1997 | ILP | Generating Numerical Literals During Refinement. | Simon Anthony, Alan M. Frisch |
| 1995 | IJCAI | Building Theories into Instantiation. | Alan M. Frisch, C. David Page Jr. |
| 1992 | CADE | An Abstract View of Sorted Unification. | Alan M. Frisch, Anthony G. Cohn |
| 1992 | CADE | An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. | Toms E. Uribe, Alan M. Frisch, Michael K. Mitchell |
| 1991 | ICML | Learning Constrained Atoms. | C. David Page Jr., Alan M. Frisch |
| 1991 | KR | A General Framework for Modal Deduction. | Alan M. Frisch, Richard B. Scherl |
| 1991 | KR | Generalizing Atoms in Constraint Logic. | C. David Page Jr., Alan M. Frisch |
| 1990 | AAAI | Generalization with Taxonomic Information. | Alan M. Frisch, C. David Page Jr. |
| 1990 | JELIA | A Constraint Logic Approach to Modal Deduction. | Alan M. Frisch, Richard B. Scherl |
| 1989 | KR | A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. | Alan M. Frisch |
| 1988 | UAI | Modal logics of higher-order probability. | Peter Haddawy, Alan M. Frisch |
| 1987 | IJCAI | Inference without Chaining. | Alan M. Frisch |
| 1985 | IJCAI | Using Model Theory to Specify AI Programs. | Alan M. Frisch |
| 1982 | AAAI | ARGOT: The Rochester Dialogue System. | James F. Allen, Alan M. Frisch, Diane J. Litman |
| 1982 | ACL | What's in a Semantic Network? | James F. Allen, Alan M. Frisch |
| 1982 | CADE | Knowledge Retrieval as Limited Inference. | Alan M. Frisch, James F. Allen |