Alan M. Frisch

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 4

Top Topics

Symmetry Breaking

Top Venues

Publications

Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). IJCAI (2023)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artif. Intell. 310 (2022)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Towards Reformulating Essence Specifications for Robustness. CoRR (2021)
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
A Commentary on "Breaking Row and Column Symmetries in Matrix Models". CoRR (2019)
Alan M. Frisch, Peter Haddawy
Probability as a Modal Operator CoRR (2013)
Peter Haddawy, Alan M. Frisch
Convergent Deduction for Probabilistic Logic CoRR (2013)
Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
Automated Symmetry Breaking and Model Selection in Conjure. CP (2013)
Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel
Conjure Revisited: Towards Automated Constraint Modelling CoRR (2011)
Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich
Extensible Automated Constraint Modelling. AAAI (2011)
Alan M. Frisch, Peter J. Stuckey
The Proper Treatment of Undefinedness in Constraint Languages. CP (2009)
Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh
Multiset Ordering Constraints CoRR (2009)
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
Filtering algorithms for the multiset ordering constraint. Artif. Intell. 173 (2) (2009)
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
Filtering Algorithms for the Multiset Ordering Constraint CoRR (2009)
Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
Essence : A constraint language for specifying combinatorial problems. Constraints An Int. J. 13 (3) (2008)
Alan M. Frisch, Ian Miguel
Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Constraints An Int. J. 13 (3) (2008)
Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. IJCAI (2007)
Alan M. Frisch
Abstraction and Reformulation in the Generation of Constraint Models. SARA (2007)
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
Propagation algorithms for lexicographic ordering constraints. Artif. Intell. 170 (10) (2006)
Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. J. Autom. Reason. 35 (1-3) (2005)
Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh
Transforming and Refining Abstract Constraint Specifications. SARA (2005)
Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth
The Temporal Knapsack Problem and Its Solution. CPAIOR (2005)
Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
The Rules of Constraint Modelling. IJCAI (2005)
Bernadette Martínez Hernández, Alan M. Frisch
Towards the Systematic Generation of Channelling Constraints. CP (2005)
Alan M. Frisch, Christopher Jefferson, Ian Miguel
Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. ECAI (2004)
Alan M. Frisch, Christopher Jefferson, Ian Miguel
Constraints for Breaking More Row and Column Symmetries. CP (2003)
Lyndon Drake, Alan M. Frisch
The Interaction Between Inference and Branching Heuristics. SAT (2003)
Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh
Multiset Ordering Constraints. IJCAI (2003)
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
Global Constraints for Lexicographic Orderings. CP (2002)
Alan M. Frisch, Ian Miguel, Toby Walsh
CGRASS: A System for Transforming Constraint Satisfaction Problems. International Workshop on Constraint Solving and Constraint Logic Programming (2002)
Lyndon Drake, Alan M. Frisch
Combining Inference and Search for the Propositional Satisfiability Problem. AAAI/IAAI (2002)
Alan M. Frisch, Daniel Sheridan, Toby Walsh
A Fixpoint Based Encoding for Bounded Model Checking. FMCAD (2002)
Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh
Breaking Row and Column Symmetries in Matrix Models. CP (2002)
Lyndon Drake, Alan M. Frisch, Toby Walsh
Automatic Generation of Implied Clauses for SAT. CP (2002)
Alan M. Frisch, Timothy J. Peugniez
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. IJCAI (2001)
Alan M. Frisch, Toby Walsh
Automatic Generation of Implied Constraints: Project Description. ARW (2000)
Alan M. Frisch
Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming. ILP (1999)
Alan M. Frisch
Solving Constraint Satisfaction Problems with NB-Resolution. Electron. Trans. Artif. Intell. 3 (B) (1999)
Simon Anthony, Alan M. Frisch
Cautious Induction: An Alternative to Clause-at-a Time Hypothesis Construction in Inductive Logic Programming. New Gener. Comput. 17 (1) (1999)
Simon Anthony, Alan M. Frisch
Generating Numerical Literals During Refinement. ILP (1997)
Simon Anthony, Alan M. Frisch
Cautious Induction in Inductive Logic Programming. ILP (1997)
Alan M. Frisch, C. David Page Jr.
Building Theories into Instantiation. IJCAI (1995)
Alan M. Frisch, Peter Haddawy
Anytime Deduction for Probabilistic Logic. Artif. Intell. 69 (1-2) (1994)
Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell
An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. CADE (1992)
Alan M. Frisch, Anthony G. Cohn
An Abstract View of Sorted Unification. CADE (1992)
C. David Page Jr., Alan M. Frisch
Learning Constrained Atoms. ML (1991)
Alan M. Frisch, Anthony G. Cohn
Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning. AI Mag. 11 (5) (1991)
C. David Page Jr., Alan M. Frisch
Generalizing Atoms in Constraint Logic. KR (1991)
Alan M. Frisch, Richard B. Scherl
A General Framework for Modal Deduction. KR (1991)
Alan M. Frisch
The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Artif. Intell. 49 (1-3) (1991)
Alan M. Frisch, Richard B. Scherl
A Bibliography on Hybrid Reasoning. AI Mag. 11 (5) (1991)
Alan M. Frisch, C. David Page Jr.
Generalization with Taxonomic Information. AAAI (1990)
Alan M. Frisch, Richard B. Scherl
A Constraint Logic Approach to Modal Deduction. JELIA (1990)
Alan M. Frisch
A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. KR (1989)
Peter Haddawy, Alan M. Frisch
Convergent deduction for probabilistic logic. Int. J. Approx. Reason. 2 (3) (1988)
Peter Haddawy, Alan M. Frisch
Modal logics of higher-order probability. UAI (1988)
Alan M. Frisch
Inference without Chaining. IJCAI (1987)
Alan M. Frisch
Parsing with restricted quantification: an initial demonstration. Comput. Intell. 2 (1986)
Alan M. Frisch
An investigation into inference with restricted quantification and a taxonomic representation. SIGART Newsl. 91 (1985)
Alan M. Frisch
Using Model Theory to Specify AI Programs. IJCAI (1985)
Alan M. Frisch, James F. Allen, Mark Giuliano
An overview of the HORNE logic programming system. SIGART Newsl. 84 (1983)
Alan M. Frisch, James F. Allen
Knowledge Retrieval as Limited Inference. CADE (1982)
James F. Allen, Alan M. Frisch, Diane J. Litman
ARGOT: The Rochester Dialogue System. AAAI (1982)
James F. Allen, Alan M. Frisch
What's in a Semantic Network? ACL (1982)
Alan M. Frisch, Donald Perlis
A Re-Evaluation of Story Grammars. Cogn. Sci. 5 (1) (1981)