Frisch, Alan M.

13 publications

IJCAI 2023 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
AAAI 2011 Extensible Automated Constraint Modelling Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich
IJCAI 2007 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 2005 The Rules of Constraint Modelling Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
IJCAI 2003 Multiset Ordering Constraints Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh
AAAI 2002 Combining Inference and Search for the Propositional Satisfiability Problem Lyndon Drake, Alan M. Frisch
IJCAI 2001 Solving Non-Boolean Satisfiability Problems with Stochastic Local Search Alan M. Frisch, Timothy J. Peugniez
IJCAI 1995 Building Theories into Instantiation Alan M. Frisch, C. David Page Jr.
ICML 1991 Learning Constrained Atoms C. David Page Jr., Alan M. Frisch
AAAI 1990 Generalization with Taxonomic Information Alan M. Frisch, C. David Page Jr.
IJCAI 1987 Inference Without Chaining Alan M. Frisch
IJCAI 1985 Using Model Theory to Specify AI Programs Alan M. Frisch
AAAI 1982 ARGOT: The Rochester Dialogue System James F. Allen, Alan M. Frisch, Diane J. Litman