Alan Mark Frisch

Search results

• 2009

  Filtering algorithms for the multiset ordering constraint

  Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I. & Walsh, T., Feb 2009, In: Artificial Intelligence. 173, 2, p. 299-328 30 p.

  Research output: Contribution to journal › Article › peer-review

• Multiset Ordering Constraints

  Frisch, A. M., Miguel, I., Kiziltan, Z., Hnich, B. & Walsh, T., Feb 2009, In: CoRR. abs/0905.3769, 2, p. 299-328 30 p.

  Research output: Contribution to journal › Article › peer-review
• 2008

  A constraint language for specifying combinatorial problems

  Frisch, A., Harvey, W., Jefferson, C., Martínez-Hernández, B. & Miguel, I., Sept 2008, In: Journal of Constraints. 13, 3, p. 268-306 39 p.

  Research output: Contribution to journal › Article › peer-review

• ESSENCE: A constraint language for specifying combinatorial problems

  Frisch, A. M., Harvey, W., Jefferson, C., Hernández, B. M. & Miguel, I., Sept 2008, In: Journal of Constraints. 13, 3, p. 268-306 39 p.

  Research output: Contribution to journal › Article › peer-review

• Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling

  Frisch, A. M. & Miguel, I., Sept 2008, In: Journal of Constraints. 13, 3, p. 227-228 2 p.

  Research output: Contribution to journal › Article › peer-review
• 2006

  Propagation algorithms for lexicographic ordering constraints

  Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I. & Walsh, T., Jul 2006, In: Artificial Intelligence. 170, 10, p. 803-834 32 p.

  Research output: Contribution to journal › Article › peer-review
• 2005

  Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings.

  Frisch, A. M., Peugniez, T. J., Doggett, A. J. & Nightingale, P., Oct 2005, In: Journal of Automated Reasoning. 35, 1-3, p. 143-179 36 p.

  Research output: Contribution to journal › Article › peer-review
• 1999

  Cautious Induction: An Alternative to Clause-at-a Time Hypothesis Construction in Inductive Logic Programming

  Anthony, S. & Frisch, A. M., 1999, In: New Generation Computing. 17, 1, p. 25-52 28 p.

  Research output: Contribution to journal › Article › peer-review

• Solving Constraint Satisfaction Problems with NB-Resolution

  Frisch, A. M., 1999, In: Electron. Trans. Artif. Intell.. 3, B, p. 105-120 16 p.

  Research output: Contribution to journal › Article › peer-review
• 1994

  Anytime Deduction for Probabilistic Logic

  Frisch, A. M. & Haddawy, P., 1994, In: Electron. Trans. Artif. Intell.. 69, 1-2, p. 93-122 30 p.

  Research output: Contribution to journal › Article › peer-review
• 1991

  A Bibliography on Hybrid Reasoning

  Frisch, A. M. & Scherl, R. B., 1991, In: AI Magazine. 11, 5, p. 84-87 4 p.

  Research output: Contribution to journal › Article › peer-review

• The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning

  Frisch, A. M., 1991, In: Electron. Trans. Artif. Intell.. 49, 1-3, p. 161-198 38 p.

  Research output: Contribution to journal › Article › peer-review

• Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning

  Frisch, A. M. & Cohn, A. G., 1991, In: AI Magazine. 11, 5, p. 77-83 7 p.

  Research output: Contribution to journal › Article › peer-review
• 1988

  Convergent deduction for probabilistic logic

  Haddawy, P. & Frisch, A. M., 1988, In: Int. J. Approx. Reasoning. 2, 3, p. 335 1 p.

  Research output: Contribution to journal › Article › peer-review

• 1986

  Parsing with restricted quantification: an initial demonstration

  Frisch, A. M., 1986, In: Computational Intelligence. 2, p. 142-150 9 p.

  Research output: Contribution to journal › Article › peer-review