Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alan M. Frisch
2010 – today
- 2013
[i5]- [i4]Peter Haddawy, Alan M. Frisch: Convergent Deduction for Probabilistic Logic. CoRR abs/1304.2742 (2013)
- 2011
- [c37]Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich: Extensible Automated Constraint Modelling. AAAI 2011
- [i3]Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel: Conjure Revisited: Towards Automated Constraint Modelling. CoRR abs/1109.1774 (2011)
2000 – 2009
- 2009
- [j14]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)
- [c36]Alan M. Frisch, Peter J. Stuckey: The Proper Treatment of Undefinedness in Constraint Languages. CP 2009: 367-382
- [i2]Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering Algorithms for the Multiset Ordering Constraint. CoRR abs/0903.0460 (2009)
- [i1]Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints. CoRR abs/0905.3769 (2009)
- 2008
- [j13]Alan M. Frisch, Ian Miguel: Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Constraints 13(3): 227-228 (2008)
- [j12]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
- [c35]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
- [c34]Alan M. Frisch: Abstraction and Reformulation in the Generation of Constraint Models. SARA 2007: 2-3
- 2006
- [j11]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
- [j10]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)
- [c33]Bernadette Martínez Hernández, Alan M. Frisch: Towards the Systematic Generation of Channelling Constraints. CP 2005: 859
- [c32]Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth: The Temporal Knapsack Problem and Its Solution. CPAIOR 2005: 34-48
- [c31]Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: The Rules of Constraint Modelling. IJCAI 2005: 109-116
- [c30]Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91
- 2004
- [c29]Alan M. Frisch, Christopher Jefferson, Ian Miguel: Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. ECAI 2004: 171-175
- 2003
- [c28]Alan M. Frisch, Christopher Jefferson, Ian Miguel: Constraints for Breaking More Row and Column Symmetries. CP 2003: 318-332
- [c27]Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints. IJCAI 2003: 221-226
- [c26]Lyndon Drake, Alan M. Frisch: The Interaction Between Inference and Branching Heuristics. SAT 2003: 370-382
- 2002
- [c25]Lyndon Drake, Alan M. Frisch: Combining Inference and Search for the Propositional Satisfiability Problem. AAAI/IAAI 2002: 982
- [c24]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
- [c23]Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Global Constraints for Lexicographic Orderings. CP 2002: 93-108
- [c22]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
- [c21]Lyndon Drake, Alan M. Frisch, Toby Walsh: Automatic Generation of Implied Clauses for SAT. CP 2002: 783
- [c20]Alan M. Frisch, Daniel Sheridan, Toby Walsh: A Fixpoint Based Encoding for Bounded Model Checking. FMCAD 2002: 238-255
- 2001
- [c19]Alan M. Frisch, Timothy J. Peugniez: Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. IJCAI 2001: 282-290
- 2000
- [e2]James Cussens, Alan M. Frisch (Eds.): Inductive Logic Programming, 10th International Conference, ILP 2000, Work-in-progress reports, London, UK, July 2000, Proceedings. CEUR Workshop Proceedings 35, CEUR-WS.org 2000
- [e1]James Cussens, Alan M. Frisch (Eds.): Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings. Lecture Notes in Computer Science 1866, Springer 2000, ISBN 3-540-67795-X
1990 – 1999
- 1999
- [j9]Alan M. Frisch: Solving Constraint Satisfaction Problems with NB-Resolution. Electron. Trans. Artif. Intell. 3(B): 105-120 (1999)
- [j8]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)
- [c18]Alan M. Frisch: Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming. ILP 1999: 104-115
- 1997
- [c17]
- [c16]
- 1995
- [c15]
- 1994
- [j7]Alan M. Frisch, Peter Haddawy: Anytime Deduction for Probabilistic Logic. Artif. Intell. 69(1-2): 93-122 (1994)
- 1992
- [c14]
- [c13]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
- [j6]Alan M. Frisch: The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Artif. Intell. 49(1-3): 161-198 (1991)
- [j5]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)
- [j4]Alan M. Frisch, Richard B. Scherl: A Bibliography on Hybrid Reasoning. AI Magazine 11(5): 84-87 (1991)
- [c12]
- [c11]
- [c10]
- 1990
- [c9]
- [c8]Alan M. Frisch, Richard B. Scherl: A Constraint Logic Approach to Modal Deduction. JELIA 1990: 234-250
1980 – 1989
- 1989
- [c7]Alan M. Frisch: A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. KR 1989: 126-136
- 1988
- [j3]Peter Haddawy, Alan M. Frisch: Convergent deduction for probabilistic logic. Int. J. Approx. Reasoning 2(3): 335 (1988)
- [c6]
- 1987
- [c5]
- 1986
- [j2]Alan M. Frisch: Parsing with restricted quantification: an initial demonstration. Computational Intelligence 2: 142-150 (1986)
- 1985
- [c4]
- 1982
- [c3]James F. Allen, Alan M. Frisch, Diane J. Litman: ARGOT: The Rochester Dialogue System. AAAI 1982: 66-70
- [c2]
- [c1]
- 1981
- [j1]Alan M. Frisch, Donald Perlis: A Re-Evaluation of Story Grammars. Cognitive Science 5(1): 79-86 (1981)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-03 21:42 CEST by the dblp team