| 2009 |
|---|
| 50 | EE | Alan M. Frisch,
Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Toby Walsh:
Filtering algorithms for the multiset ordering constraint.
Artif. Intell. 173(2): 299-328 (2009) |
| 49 | EE | Alan M. Frisch,
Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Toby Walsh:
Filtering Algorithms for the Multiset Ordering Constraint
CoRR abs/0903.0460: (2009) |
| 2008 |
|---|
| 48 | EE | Alan M. Frisch,
Ian Miguel:
Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling.
Constraints 13(3): 227-228 (2008) |
| 47 | EE | Alan M. Frisch,
Warwick Harvey,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
Essence : A constraint language for specifying combinatorial problems.
Constraints 13(3): 268-306 (2008) |
| 2007 |
|---|
| 46 | EE | Alan M. Frisch,
Matthew Grum,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems.
IJCAI 2007: 80-87 |
| 45 | EE | Alan M. Frisch:
Abstraction and Reformulation in the Generation of Constraint Models.
SARA 2007: 2-3 |
| 2006 |
|---|
| 44 | EE | Alan M. Frisch,
Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Toby Walsh:
Propagation algorithms for lexicographic ordering constraints.
Artif. Intell. 170(10): 803-834 (2006) |
| 2005 |
|---|
| 43 | EE | Bernadette Martínez Hernández,
Alan M. Frisch:
Towards the Systematic Generation of Channelling Constraints.
CP 2005: 859 |
| 42 | EE | Mark Bartlett,
Alan M. Frisch,
Youssef Hamadi,
Ian Miguel,
Armagan Tarim,
Chris Unsworth:
The Temporal Knapsack Problem and Its Solution.
CPAIOR 2005: 34-48 |
| 41 | EE | Alan M. Frisch,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
The Rules of Constraint Modelling.
IJCAI 2005: 109-116 |
| 40 | EE | Alan M. Frisch,
Brahim Hnich,
Ian Miguel,
Barbara M. Smith,
Toby Walsh:
Transforming and Refining Abstract Constraint Specifications.
SARA 2005: 76-91 |
| 39 | EE | Alan M. Frisch,
Timothy J. Peugniez,
Anthony J. Doggett,
Peter Nightingale:
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings.
J. Autom. Reasoning 35(1-3): 143-179 (2005) |
| 2004 |
|---|
| 38 | | Alan M. Frisch,
Christopher Jefferson,
Ian Miguel:
Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern.
ECAI 2004: 171-175 |
| 2003 |
|---|
| 37 | EE | Alan M. Frisch,
Christopher Jefferson,
Ian Miguel:
Constraints for Breaking More Row and Column Symmetries.
CP 2003: 318-332 |
| 36 | | Alan M. Frisch,
Ian Miguel,
Zeynep Kiziltan,
Brahim Hnich,
Toby Walsh:
Multiset Ordering Constraints.
IJCAI 2003: 221-226 |
| 35 | EE | Lyndon Drake,
Alan M. Frisch:
The Interaction Between Inference and Branching Heuristics.
SAT 2003: 370-382 |
| 2002 |
|---|
| 34 | | Lyndon Drake,
Alan M. Frisch:
Combining Inference and Search for the Propositional Satisfiability Problem.
AAAI/IAAI 2002: 982 |
| 33 | EE | Pierre Flener,
Alan M. Frisch,
Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Justin Pearson,
Toby Walsh:
Breaking Row and Column Symmetries in Matrix Models.
CP 2002: 462-476 |
| 32 | EE | Lyndon Drake,
Alan M. Frisch,
Toby Walsh:
Automatic Generation of Implied Clauses for SAT.
CP 2002: 783 |
| 31 | EE | Alan M. Frisch,
Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Toby Walsh:
Global Constraints for Lexicographic Orderings.
CP 2002: 93-108 |
| 30 | EE | Alan M. Frisch,
Daniel Sheridan,
Toby Walsh:
A Fixpoint Based Encoding for Bounded Model Checking.
FMCAD 2002: 238-255 |
| 29 | EE | Alan M. Frisch,
Ian Miguel,
Toby Walsh:
CGRASS: A System for Transforming Constraint Satisfaction Problems.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 15-30 |
| 2001 |
|---|
| 28 | | Alan M. Frisch,
Timothy J. Peugniez:
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search.
IJCAI 2001: 282-290 |
| 2000 |
|---|
| 27 | | James Cussens,
Alan M. Frisch:
Inductive Logic Programming, 10th International Conference, ILP 2000, Work-in-progress reports, London, UK, July 2000, Proceedings
CEUR-WS.org 2000 |
| 26 | | James Cussens,
Alan M. Frisch:
Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings
Springer 2000 |
| 1999 |
|---|
| 25 | EE | Alan M. Frisch:
Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming.
ILP 1999: 104-115 |
| 24 | EE | Alan M. Frisch:
Solving Constraint Satisfaction Problems with NB-Resolution.
Electron. Trans. Artif. Intell. 3(B): 105-120 (1999) |
| 23 | | Simon Anthony,
Alan M. Frisch:
Cautious Induction: An Alternative to Clause-at-a Time Hypothesis Construction in Inductive Logic Programming.
New Generation Comput. 17(1): 25-52 (1999) |
| 1997 |
|---|
| 22 | | Simon Anthony,
Alan M. Frisch:
Cautious Induction in Inductive Logic Programming.
ILP 1997: 45-60 |
| 21 | | Simon Anthony,
Alan M. Frisch:
Generating Numerical Literals During Refinement.
ILP 1997: 61-76 |
| 1995 |
|---|
| 20 | | Alan M. Frisch,
C. David Page Jr.:
Building Theories into Instantiation.
IJCAI 1995: 1210-1216 |
| 1994 |
|---|
| 19 | | Alan M. Frisch,
Peter Haddawy:
Anytime Deduction for Probabilistic Logic.
Artif. Intell. 69(1-2): 93-122 (1994) |
| 1992 |
|---|
| 18 | | Alan M. Frisch,
Anthony G. Cohn:
An Abstract View of Sorted Unification.
CADE 1992: 178-192 |
| 17 | | Tomás E. Uribe,
Alan M. Frisch,
Michael K. Mitchell:
An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems.
CADE 1992: 721-725 |
| 1991 |
|---|
| 16 | | Alan M. Frisch,
Richard B. Scherl:
A General Framework for Modal Deduction.
KR 1991: 196-207 |
| 15 | | C. David Page Jr.,
Alan M. Frisch:
Generalizing Atoms in Constraint Logic.
KR 1991: 429-440 |
| 14 | | C. David Page Jr.,
Alan M. Frisch:
Learning Constrained Atoms.
ML 1991: 427-431 |
| 13 | | Alan M. Frisch,
Anthony G. Cohn:
Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning.
AI Magazine 11(5): 77-83 (1991) |
| 12 | | Alan M. Frisch,
Richard B. Scherl:
A Bibliography on Hybrid Reasoning.
AI Magazine 11(5): 84-87 (1991) |
| 11 | | Alan M. Frisch:
The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.
Artif. Intell. 49(1-3): 161-198 (1991) |
| 1990 |
|---|
| 10 | | Alan M. Frisch,
C. David Page Jr.:
Generalization with Taxonomic Information.
AAAI 1990: 755-761 |
| 9 | | Alan M. Frisch,
Richard B. Scherl:
A Constraint Logic Approach to Modal Deduction.
JELIA 1990: 234-250 |
| 1989 |
|---|
| 8 | | Alan M. Frisch:
A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.
KR 1989: 126-136 |
| 1988 |
|---|
| 7 | EE | Peter Haddawy,
Alan M. Frisch:
Modal logics of higher-order probability.
UAI 1988: 133-148 |
| 6 | | Peter Haddawy,
Alan M. Frisch:
Convergent deduction for probabilistic logic.
Int. J. Approx. Reasoning 2(3): 335 (1988) |
| 1987 |
|---|
| 5 | | Alan M. Frisch:
Inference without Chaining.
IJCAI 1987: 515-519 |
| 1986 |
|---|
| 4 | | Alan M. Frisch:
Parsing with restricted quantification: an initial demonstration.
Computational Intelligence 2: 142-150 (1986) |
| 1985 |
|---|
| 3 | | Alan M. Frisch:
Using Model Theory to Specify AI Programs.
IJCAI 1985: 148-154 |
| 1982 |
|---|
| 2 | | James F. Allen,
Alan M. Frisch,
Diane J. Litman:
ARGOT: The Rochester Dialogue System.
AAAI 1982: 66-70 |
| 1 | | Alan M. Frisch,
James F. Allen:
Knowledge Retrieval as Limited Inference.
CADE 1982: 274-291 |
