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
287*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
2302008
A Constraint Language for Specifying Combinatorial Problems
AM Frisch, W Harvey, C Jefferson, B Martınez-Hernández, I Miguel
230*
Anytime deduction for probabilistic logic
AM Frisch, P Haddawy
Artificial Intelligence 69 (1-2), 93-122, 1994
1751994
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
170*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
150*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
1142005
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
911992
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
852010
Solving non-boolean satisfiability problems with stochastic local search
AM Frisch, TJ Peugniez
INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 17 (1), 282-290, 2001
812001
What's in a Semantic Network?
JF Allen, AM Frisch
Proceedings of the 20th annual meeting on Association for Computational …, 1982
761982
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
702001
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
682003
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
662005
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
652005
Propagation algorithms for lexicographic ordering constraints
AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
Artificial Intelligence 170 (10), 803-834, 2006
622006
ARGOT: The Rochester dialogue system
JF Allen, AM Frisch, DJ Litman
Proceedings of the 2nd National Conference on Artificial Intelligence, 66-70, 1982
621982
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