Folgen
Alan M Frisch
Alan M Frisch
University of York
Bestätigte E-Mail-Adresse bei york.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
275*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
1982008
A Constraint Language for Specifying Combinatorial Problems
AM Frisch, W Harvey, C Jefferson, B Martınez-Hernández, I Miguel
198*
Anytime deduction for probabilistic logic
AM Frisch, P Haddawy
Artificial Intelligence 69 (1-2), 93-122, 1994
1701994
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
161*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
1372007
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
1072005
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
AM Frisch
Artificial intelligence 49 (1-3), 161-198, 1991
981991
Generalization and learnability: A study of constrained atoms
CD Page, AM Frisch
Inductive Logic Programming, 29-61, 1992
871992
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
762010
Solving non-boolean satisfiability problems with stochastic local search
AM Frisch, TJ Peugniez
INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 17 (1), 282-290, 2001
762001
What's in a Semantic Network?
JF Allen, AM Frisch
Proceedings of the 20th annual meeting on Association for Computational …, 1982
761982
A general framework for sorted deduction: Fundamental results on hybrid reasoning
AM Frisch
Proceedings of the first international conference on Principles of knowledge …, 1989
641989
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
CGRASS: A system for transforming constraint satisfaction problems
AM Frisch, I Miguel, T Walsh
Recent Advances in Constraints, 15-30, 2003
602003
ARGOT: The Rochester dialogue system
JF Allen, AM Frisch, DJ Litman
Proceedings of the 2nd National Conference on Artificial Intelligence, 66-70, 1982
601982
Propagation algorithms for lexicographic ordering constraints
AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
Artificial Intelligence 170 (10), 803-834, 2006
572006
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
572005
A General Framework for Modal Deduction.
AM Frisch, RB Scherl
KR, 196-207, 1991
541991
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
532005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20