A Re-Evaluation of Story Grammars. - Alan M. Frisch; Donald Perlis (Cogn. Sci., 1981)

ARGOT: The Rochester Dialogue System. - James F. Allen; Alan M. Frisch; Diane J. Litman (AAAI, 1982)

What's in a Semantic Network? - James F. Allen; Alan M. Frisch (ACL, 1982)

Knowledge Retrieval as Limited Inference. - Alan M. Frisch; James F. Allen (CADE, 1982)

An overview of the HORNE logic programming system. - Alan M. Frisch; James F. Allen; Mark Giuliano (SIGART Newsl., 1983)

Using Model Theory to Specify AI Programs. - Alan M. Frisch (IJCAI, 1985)

An investigation into inference with restricted quantification and a taxonomic representation. - Alan M. Frisch (SIGART Newsl., 1985)

Parsing with restricted quantification: an initial demonstration. - Alan M. Frisch (Comput. Intell., 1986)

Inference without Chaining. - Alan M. Frisch (IJCAI, 1987)

Modal logics of higher-order probability. - Peter Haddawy; Alan M. Frisch (UAI, 1988)

Convergent deduction for probabilistic logic. - Peter Haddawy; Alan M. Frisch (Int. J. Approx. Reason., 1988)

A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. - Alan M. Frisch (KR, 1989)

Generalization with Taxonomic Information. - Alan M. Frisch; C. David Page Jr. (AAAI, 1990)

A Constraint Logic Approach to Modal Deduction. - Alan M. Frisch; Richard B. Scherl (JELIA, 1990)

Learning Constrained Atoms. - C. David Page Jr.; Alan M. Frisch (ML, 1991)

A General Framework for Modal Deduction. - Alan M. Frisch; Richard B. Scherl (KR, 1991)

Generalizing Atoms in Constraint Logic. - C. David Page Jr.; Alan M. Frisch (KR, 1991)

The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. - Alan M. Frisch (Artif. Intell., 1991)

Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning. - Alan M. Frisch; Anthony G. Cohn 001 (AI Mag., 1991)

A Bibliography on Hybrid Reasoning. - Alan M. Frisch; Richard B. Scherl (AI Mag., 1991)

An Abstract View of Sorted Unification. - Alan M. Frisch; Anthony G. Cohn 001 (CADE, 1992)

An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. - Tomás E. Uribe; Alan M. Frisch; Michael K. Mitchell (CADE, 1992)

Anytime Deduction for Probabilistic Logic. - Alan M. Frisch; Peter Haddawy (Artif. Intell., 1994)

Building Theories into Instantiation. - Alan M. Frisch; C. David Page Jr. (IJCAI, 1995)

Cautious Induction in Inductive Logic Programming. - Simon Anthony; Alan M. Frisch (ILP, 1997)

Generating Numerical Literals During Refinement. - Simon Anthony; Alan M. Frisch (ILP, 1997)

Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming. - Alan M. Frisch (ILP, 1999)

Solving Constraint Satisfaction Problems with NB-Resolution. - Alan M. Frisch (Electron. Trans. Artif. Intell., 1999)

Cautious Induction: An Alternative to Clause-at-a Time Hypothesis Construction in Inductive Logic Programming. - Simon Anthony; Alan M. Frisch (New Gener. Comput., 1999)

Automatic Generation of Implied Constraints: Project Description. - Alan M. Frisch; Toby Walsh (ARW, 2000)

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. - Alan M. Frisch; Timothy J. Peugniez (IJCAI, 2001)

Combining Inference and Search for the Propositional Satisfiability Problem. - Lyndon Drake; Alan M. Frisch (AAAI/IAAI, 2002)

CGRASS: A System for Transforming Constraint Satisfaction Problems. - Alan M. Frisch; Ian Miguel; Toby Walsh (International Workshop on Constraint Solving and Constraint Logic Programming, 2002)

Automatic Generation of Implied Clauses for SAT. - Lyndon Drake; Alan M. Frisch; Toby Walsh (CP, 2002)

Breaking Row and Column Symmetries in Matrix Models. - Pierre Flener; Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Justin Pearson; Toby Walsh (CP, 2002)

Global Constraints for Lexicographic Orderings. - Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Toby Walsh (CP, 2002)

A Fixpoint Based Encoding for Bounded Model Checking. - Alan M. Frisch; Daniel Sheridan; Toby Walsh (FMCAD, 2002)

Constraints for Breaking More Row and Column Symmetries. - Alan M. Frisch; Christopher Jefferson; Ian Miguel (CP, 2003)

Multiset Ordering Constraints. - Alan M. Frisch; Ian Miguel; Zeynep Kiziltan; Brahim Hnich; Toby Walsh (IJCAI, 2003)

The Interaction Between Inference and Branching Heuristics. - Lyndon Drake; Alan M. Frisch (SAT, 2003)

Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. - Alan M. Frisch; Christopher Jefferson; Ian Miguel (ECAI, 2004)

Towards the Systematic Generation of Channelling Constraints. - Bernadette Martínez Hernández; Alan M. Frisch (CP, 2005)

The Temporal Knapsack Problem and Its Solution. - Mark Bartlett; Alan M. Frisch; Youssef Hamadi; Ian Miguel; Armagan Tarim; Chris Unsworth (CPAIOR, 2005)

The Rules of Constraint Modelling. - Alan M. Frisch; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (IJCAI, 2005)

Transforming and Refining Abstract Constraint Specifications. - Alan M. Frisch; Brahim Hnich; Ian Miguel; Barbara M. Smith; Toby Walsh (SARA, 2005)

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. - Alan M. Frisch; Timothy J. Peugniez; Anthony J. Doggett; Peter Nightingale (J. Autom. Reason., 2005)

Propagation algorithms for lexicographic ordering constraints. - Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Toby Walsh (Artif. Intell., 2006)

The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. - Alan M. Frisch; Matthew Grum; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (IJCAI, 2007)

Abstraction and Reformulation in the Generation of Constraint Models. - Alan M. Frisch (SARA, 2007)

Essence : A constraint language for specifying combinatorial problems. - Alan M. Frisch; Warwick Harvey; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (Constraints An Int. J., 2008)

Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. - Alan M. Frisch; Ian Miguel (Constraints An Int. J., 2008)

The Proper Treatment of Undefinedness in Constraint Languages. - Alan M. Frisch; Peter J. Stuckey (CP, 2009)

Filtering algorithms for the multiset ordering constraint. - Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Toby Walsh (Artif. Intell., 2009)

Extensible Automated Constraint Modelling. - Ozgur Akgun; Ian Miguel; Christopher Jefferson; Alan M. Frisch; Brahim Hnich (AAAI, 2011)

Conjure Revisited: Towards Automated Constraint Modelling - Ozgur Akgun; Alan M. Frisch; Brahim Hnich; Christopher Jefferson; Ian Miguel (CoRR, 2011)

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 (CP, 2013)

Probability as a Modal Operator - Alan M. Frisch; Peter Haddawy (CoRR, 2013)

A Commentary on "Breaking Row and Column Symmetries in Matrix Models". - Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Toby Walsh (CoRR, 2019)

Towards Reformulating Essence Specifications for Robustness. - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon (CoRR, 2021)

Conjure: Automatic Generation of Constraint Models from Problem Specifications. - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (Artif. Intell., 2022)

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (IJCAI, 2023)