Follow
Alan M Frisch
Title
Cited by
Cited by
Year
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
282*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
2212008
A Constraint Language for Specifying Combinatorial Problems
AM Frisch, W Harvey, C Jefferson, B Martınez-Hernández, I Miguel
221*
Anytime deduction for probabilistic logic
AM Frisch, P Haddawy
Artificial Intelligence 69 (1-2), 93-122, 1994
1721994
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
167*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
145*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
1112005
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
AM Frisch
Artificial intelligence 49 (1-3), 161-198, 1991
1001991
Generalization and learnability: A study of constrained atoms
CD Page, AM Frisch
Inductive Logic Programming, 29-61, 1992
901992
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
832010
Solving non-boolean satisfiability problems with stochastic local search
AM Frisch, TJ Peugniez
INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 17 (1), 282-290, 2001
792001
What's in a Semantic Network?
JF Allen, AM Frisch
Proceedings of the 20th annual meeting on Association for Computational …, 1982
791982
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
692001
A general framework for sorted deduction: Fundamental results on hybrid reasoning
AM Frisch
Proceedings of the first international conference on Principles of knowledge …, 1989
691989
CGRASS: A system for transforming constraint satisfaction problems
AM Frisch, I Miguel, T Walsh
Recent Advances in Constraints, 15-30, 2003
652003
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
632005
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
612005
ARGOT: The Rochester dialogue system
JF Allen, AM Frisch, DJ Litman
Proceedings of the 2nd National Conference on Artificial Intelligence, 66-70, 1982
611982
Propagation algorithms for lexicographic ordering constraints
AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
Artificial Intelligence 170 (10), 803-834, 2006
592006
Natural language generation system for producing natural language instructions
JL Morgan, AM Frisch, EW Hinrichs
US Patent 5,181,250, 1993
551993
The system can't perform the operation now. Try again later.
Articles 1–20