Alan M. Frisch

	2011
55		Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich: Extensible Automated Constraint Modelling. AAAI 2011
54		Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel: Conjure Revisited: Towards Automated Constraint Modelling CoRR abs/1109.1774: (2011)
	2009
53		Alan M. Frisch, Peter J. Stuckey: The Proper Treatment of Undefinedness in Constraint Languages. CP 2009: 367-382
52		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)
51		Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering Algorithms for the Multiset Ordering Constraint CoRR abs/0903.0460: (2009)
50		Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints CoRR abs/0905.3769: (2009)
	2008
49		Alan M. Frisch, Ian Miguel: Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Constraints 13(3): 227-228 (2008)
48		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
47		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
46		Alan M. Frisch: Abstraction and Reformulation in the Generation of Constraint Models. SARA 2007: 2-3
	2006
45		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
44		Bernadette Martínez Hernández, Alan M. Frisch: Towards the Systematic Generation of Channelling Constraints. CP 2005: 859
43		Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth: The Temporal Knapsack Problem and Its Solution. CPAIOR 2005: 34-48
42		Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: The Rules of Constraint Modelling. IJCAI 2005: 109-116
41		Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91
40		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
39		Alan M. Frisch, Christopher Jefferson, Ian Miguel: Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. ECAI 2004: 171-175
	2003
38		Alan M. Frisch, Christopher Jefferson, Ian Miguel: Constraints for Breaking More Row and Column Symmetries. CP 2003: 318-332
37		Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints. IJCAI 2003: 221-226
36		Lyndon Drake, Alan M. Frisch: The Interaction Between Inference and Branching Heuristics. SAT 2003: 370-382
	2002
35		Lyndon Drake, Alan M. Frisch: Combining Inference and Search for the Propositional Satisfiability Problem. AAAI/IAAI 2002: 982
34		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
33		Lyndon Drake, Alan M. Frisch, Toby Walsh: Automatic Generation of Implied Clauses for SAT. CP 2002: 783
32		Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Global Constraints for Lexicographic Orderings. CP 2002: 93-108
31		Alan M. Frisch, Daniel Sheridan, Toby Walsh: A Fixpoint Based Encoding for Bounded Model Checking. FMCAD 2002: 238-255
30		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
29		Alan M. Frisch, Timothy J. Peugniez: Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. IJCAI 2001: 282-290
	2000
28		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
27		James Cussens, Alan M. Frisch: Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings Springer 2000
	1999
26		Alan M. Frisch: Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming. ILP 1999: 104-115
25		Alan M. Frisch: Solving Constraint Satisfaction Problems with NB-Resolution. Electron. Trans. Artif. Intell. 3(B): 105-120 (1999)
24		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
23		Simon Anthony, Alan M. Frisch: Cautious Induction in Inductive Logic Programming. ILP 1997: 45-60
22		Simon Anthony, Alan M. Frisch: Generating Numerical Literals During Refinement. ILP 1997: 61-76
	1995
21		Alan M. Frisch, C. David Page Jr.: Building Theories into Instantiation. IJCAI 1995: 1210-1216
	1994
20		Alan M. Frisch, Peter Haddawy: Anytime Deduction for Probabilistic Logic. Artif. Intell. 69(1-2): 93-122 (1994)
	1992
19		Alan M. Frisch, Anthony G. Cohn: An Abstract View of Sorted Unification. CADE 1992: 178-192
18		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
17		Alan M. Frisch, Richard B. Scherl: A General Framework for Modal Deduction. KR 1991: 196-207
16		C. David Page Jr., Alan M. Frisch: Generalizing Atoms in Constraint Logic. KR 1991: 429-440
15		C. David Page Jr., Alan M. Frisch: Learning Constrained Atoms. ML 1991: 427-431
14		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)
13		Alan M. Frisch, Richard B. Scherl: A Bibliography on Hybrid Reasoning. AI Magazine 11(5): 84-87 (1991)
12		Alan M. Frisch: The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Artif. Intell. 49(1-3): 161-198 (1991)
	1990
11		Alan M. Frisch, C. David Page Jr.: Generalization with Taxonomic Information. AAAI 1990: 755-761
10		Alan M. Frisch, Richard B. Scherl: A Constraint Logic Approach to Modal Deduction. JELIA 1990: 234-250
	1989
9		Alan M. Frisch: A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. KR 1989: 126-136
	1988
8		Peter Haddawy, Alan M. Frisch: Modal logics of higher-order probability. UAI 1988: 133-148
7		Peter Haddawy, Alan M. Frisch: Convergent deduction for probabilistic logic. Int. J. Approx. Reasoning 2(3): 335 (1988)
	1987
6		Alan M. Frisch: Inference without Chaining. IJCAI 1987: 515-519
	1986
5		Alan M. Frisch: Parsing with restricted quantification: an initial demonstration. Computational Intelligence 2: 142-150 (1986)
	1985
4		Alan M. Frisch: Using Model Theory to Specify AI Programs. IJCAI 1985: 148-154
	1982
3		James F. Allen, Alan M. Frisch, Diane J. Litman: ARGOT: The Rochester Dialogue System. AAAI 1982: 66-70
2		James F. Allen, Alan M. Frisch: What's in a Semantic Network? ACL 1982: 19-27
1		Alan M. Frisch, James F. Allen: Knowledge Retrieval as Limited Inference. CADE 1982: 274-291

Coauthor Index

1	Ozgur Akgun	[54] [55]
2	James F. Allen	[1] [2] [3]
3	Simon Anthony	[22] [23] [24]
4	Mark Bartlett	[43]
5	Anthony G. Cohn	[14] [19]
6	James Cussens	[27] [28]
7	Anthony J. Doggett	[40]
8	Lyndon Drake	[33] [35] [36]
9	Pierre Flener	[34]
10	Matthew Grum	[47]
11	Peter Haddawy	[7] [8] [20]
12	Youssef Hamadi	[43]
13	Warwick Harvey	[48]
14	Bernadette Martínez Hernández	[42] [44] [47] [48]
15	Brahim Hnich	[32] [34] [37] [41] [45] [50] [51] [52] [54] [55]
16	Christopher Jefferson	[38] [39] [42] [47] [48] [54] [55]
17	Zeynep Kiziltan	[32] [34] [37] [45] [50] [51] [52]
18	Diane J. Litman	[3]
19	Ian Miguel	[30] [32] [34] [37] [38] [39] [41] [42] [43] [45] [47] [48] [49] [50] [51] [52] [54] [55]
20	Michael K. Mitchell	[18]
21	Peter Nightingale	[40]
22	C. David Page Jr. (David Page)	[11] [15] [16] [21]
23	Justin Pearson	[34]
24	Timothy J. Peugniez	[29] [40]
25	Richard B. Scherl	[10] [13] [17]
26	Daniel Sheridan	[31]
27	Barbara M. Smith	[41]
28	Peter J. Stuckey	[53]
29	Armagan Tarim (S. Armagan Tarim)	[43]
30	Chris Unsworth	[43]
31	Tomás E. Uribe	[18]
32	Toby Walsh	[30] [31] [32] [33] [34] [37] [41] [45] [50] [51] [52]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page