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
256*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
1611994
Anytime deduction for probabilistic logic
AM Frisch, P Haddawyy
Urbana 51, 61801, 1992
1611992
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
1522006
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
1132007
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
921991
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
732001
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
722010
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
622001
A general framework for sorted deduction: Fundamental results on hybrid reasoning
AM Frisch
Proceedings of the first international conference on Principles of knowledge …, 1989
591989
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
542006
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
532005
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
502003
Natural language generation system for producing natural language instructions
JL Morgan, AM Frisch, EW Hinrichs
US Patent 5,181,250, 1993
491993
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20