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
261*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
1702008
Anytime deduction for probabilistic logic
AM Frisch, P Haddawy
Artificial Intelligence 69 (1-2), 93-122, 1994
1641994
Anytime deduction for probabilistic logic
AM Frisch, P Haddawyy
Urbana 51, 61801, 1992
1641992
Global constraints for lexicographic orderings
A Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
Principles and Practice of Constraint Programming-CP 2002, 179-203, 2006
1532006
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
1142007
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
1042005
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
AM Frisch
Artificial intelligence 49 (1-3), 161-198, 1991
931991
Generalization and learnability: A study of constrained atoms
CD Page, AM Frisch
Inductive Logic Programming, 29-61, 1992
881992
Solving non-boolean satisfiability problems with stochastic local search
AM Frisch, TJ Peugniez
INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 17 (1), 282-290, 2001
742001
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
732010
What's in a Semantic Network?
JF Allen, AM Frisch
Proceedings of the 20th annual meeting on Association for Computational …, 1982
661982
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
632001
A general framework for sorted deduction: Fundamental results on hybrid reasoning
AM Frisch
Proceedings of the first international conference on Principles of knowledge …, 1989
611989
ARGOT: The Rochester dialogue system
JF Allen, AM Frisch, DJ Litman
Proceedings of the 2nd National Conference on Artificial Intelligence, 66-70, 1982
591982
Propagation algorithms for lexicographic ordering constraints
AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
Artificial Intelligence 170 (10), 803-834, 2006
552006
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
542005
A General Framework for Modal Deduction.
AM Frisch, RB Scherl
KR, 196-207, 1991
531991
CGRASS: A system for transforming constraint satisfaction problems
AM Frisch, I Miguel, T Walsh
Recent Advances in Constraints, 15-30, 2003
522003
Natural language generation system for producing natural language instructions
JL Morgan, AM Frisch, EW Hinrichs
US Patent 5,181,250, 1993
511993
The system can't perform the operation now. Try again later.
Articles 1–20