Alan M. Frisch

67 papers A* 15A 13B 7Journal 24Unranked 6

Year	Rank	Type	Title / Venue / Authors
2023	A*	`conf`	Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). IJCAI Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2022	J	`jnl`	Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artif. Intell. Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2021	J	`jnl`	Towards Reformulating Essence Specifications for Robustness. CoRR Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
2019	J	`jnl`	A Commentary on "Breaking Row and Column Symmetries in Matrix Models". CoRR Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2013	A	`conf`	Automated Symmetry Breaking and Model Selection in Conjure. CP Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
2013	J	`jnl`	Convergent Deduction for Probabilistic Logic CoRR Peter Haddawy, Alan M. Frisch
2013	J	`jnl`	Probability as a Modal Operator CoRR Alan M. Frisch, Peter Haddawy
2013	—	`ed.`	Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, 11-12 July 2013, Leavenworth, Washington, USA. SARA Alan M. Frisch, Peter Gregory
2011	J	`jnl`	Conjure Revisited: Towards Automated Constraint Modelling CoRR Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel
2011	A*	`conf`	Extensible Automated Constraint Modelling. AAAI Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich
2009	J	`jnl`	Filtering Algorithms for the Multiset Ordering Constraint CoRR Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2009	J	`jnl`	Filtering algorithms for the multiset ordering constraint. Artif. Intell. Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2009	J	`jnl`	Multiset Ordering Constraints CoRR Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh
2009	A	`conf`	The Proper Treatment of Undefinedness in Constraint Languages. CP Alan M. Frisch, Peter J. Stuckey
2008	J	`jnl`	Essence : A constraint language for specifying combinatorial problems. Constraints An Int. J. Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
2008	J	`jnl`	Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Constraints An Int. J. Alan M. Frisch, Ian Miguel
2007	—	`conf`	Abstraction and Reformulation in the Generation of Constraint Models. SARA Alan M. Frisch
2007	A*	`conf`	The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. IJCAI Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
2006	J	`jnl`	Propagation algorithms for lexicographic ordering constraints. Artif. Intell. Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2005	J	`jnl`	Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. J. Autom. Reason. Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale
2005	A*	`conf`	The Rules of Constraint Modelling. IJCAI Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
2005	B	`conf`	The Temporal Knapsack Problem and Its Solution. CPAIOR Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth
2005	A	`conf`	Towards the Systematic Generation of Channelling Constraints. CP Bernadette Martínez Hernández, Alan M. Frisch
2005	—	`conf`	Transforming and Refining Abstract Constraint Specifications. SARA Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh
2004	A	`conf`	Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. ECAI Alan M. Frisch, Christopher Jefferson, Ian Miguel
2003	A	`conf`	Constraints for Breaking More Row and Column Symmetries. CP Alan M. Frisch, Christopher Jefferson, Ian Miguel
2003	A*	`conf`	Multiset Ordering Constraints. IJCAI Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh
2003	A	`conf`	The Interaction Between Inference and Branching Heuristics. SAT Lyndon Drake, Alan M. Frisch
2002	B	`conf`	A Fixpoint Based Encoding for Bounded Model Checking. FMCAD Alan M. Frisch, Daniel Sheridan, Toby Walsh
2002	A	`conf`	Automatic Generation of Implied Clauses for SAT. CP Lyndon Drake, Alan M. Frisch, Toby Walsh
2002	A	`conf`	Breaking Row and Column Symmetries in Matrix Models. CP Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh
2002	—	`conf`	CGRASS: A System for Transforming Constraint Satisfaction Problems. International Workshop on Constraint Solving and Constraint Logic Programming Alan M. Frisch, Ian Miguel, Toby Walsh
2002	—	`conf`	Combining Inference and Search for the Propositional Satisfiability Problem. AAAI/IAAI Lyndon Drake, Alan M. Frisch
2002	A	`conf`	Global Constraints for Lexicographic Orderings. CP Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2001	A*	`conf`	Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. IJCAI Alan M. Frisch, Timothy J. Peugniez
2000	—	`conf`	Automatic Generation of Implied Constraints: Project Description. ARW Alan M. Frisch, Toby Walsh
2000	B	`ed.`	Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings ILP James Cussens, Alan M. Frisch
2000	—	`ed.`	Inductive Logic Programming, 10th International Conference, ILP 2000, Work-in-progress reports, London, UK, July 2000, Proceedings ILP Work-in-progress reports James Cussens, Alan M. Frisch
1999	J	`jnl`	Cautious Induction: An Alternative to Clause-at-a Time Hypothesis Construction in Inductive Logic Programming. New Gener. Comput. Simon Anthony, Alan M. Frisch
1999	J	`jnl`	Solving Constraint Satisfaction Problems with NB-Resolution. Electron. Trans. Artif. Intell. Alan M. Frisch
1999	B	`conf`	Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming. ILP Alan M. Frisch
1997	B	`conf`	Cautious Induction in Inductive Logic Programming. ILP Simon Anthony, Alan M. Frisch
1997	B	`conf`	Generating Numerical Literals During Refinement. ILP Simon Anthony, Alan M. Frisch
1995	A*	`conf`	Building Theories into Instantiation. IJCAI Alan M. Frisch, C. David Page Jr.
1994	J	`jnl`	Anytime Deduction for Probabilistic Logic. Artif. Intell. Alan M. Frisch, Peter Haddawy
1992	A	`conf`	An Abstract View of Sorted Unification. CADE Alan M. Frisch, Anthony G. Cohn
1992	A	`conf`	An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. CADE Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell
1991	J	`jnl`	A Bibliography on Hybrid Reasoning. AI Mag. Alan M. Frisch, Richard B. Scherl
1991	A*	`conf`	A General Framework for Modal Deduction. KR Alan M. Frisch, Richard B. Scherl
1991	A*	`conf`	Generalizing Atoms in Constraint Logic. KR C. David Page Jr., Alan M. Frisch
1991	—	`conf`	Learning Constrained Atoms. ML C. David Page Jr., Alan M. Frisch
1991	J	`jnl`	The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Artif. Intell. Alan M. Frisch
1991	J	`jnl`	Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning. AI Mag. Alan M. Frisch, Anthony G. Cohn
1990	B	`conf`	A Constraint Logic Approach to Modal Deduction. JELIA Alan M. Frisch, Richard B. Scherl
1990	A*	`conf`	Generalization with Taxonomic Information. AAAI Alan M. Frisch, C. David Page Jr.
1989	A*	`conf`	A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. KR Alan M. Frisch
1988	J	`jnl`	Convergent deduction for probabilistic logic. Int. J. Approx. Reason. Peter Haddawy, Alan M. Frisch
1988	A	`conf`	Modal logics of higher-order probability. UAI Peter Haddawy, Alan M. Frisch
1987	A*	`conf`	Inference without Chaining. IJCAI Alan M. Frisch
1986	J	`jnl`	Parsing with restricted quantification: an initial demonstration. Comput. Intell. Alan M. Frisch
1985	J	`jnl`	An investigation into inference with restricted quantification and a taxonomic representation. SIGART Newsl. Alan M. Frisch
1985	A*	`conf`	Using Model Theory to Specify AI Programs. IJCAI Alan M. Frisch
1983	J	`jnl`	An overview of the HORNE logic programming system. SIGART Newsl. Alan M. Frisch, James F. Allen, Mark Giuliano
1982	A*	`conf`	ARGOT: The Rochester Dialogue System. AAAI James F. Allen, Alan M. Frisch, Diane J. Litman
1982	A	`conf`	Knowledge Retrieval as Limited Inference. CADE Alan M. Frisch, James F. Allen
1982	A*	`conf`	What's in a Semantic Network? ACL James F. Allen, Alan M. Frisch
1981	J	`jnl`	A Re-Evaluation of Story Grammars. Cogn. Sci. Alan M. Frisch, Donald Perlis