dblp.uni-trier.dewww.uni-trier.de

Alan M. Frisch Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
52EEAlan M. Frisch, Peter J. Stuckey: The Proper Treatment of Undefinedness in Constraint Languages. CP 2009: 367-382
51EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering algorithms for the multiset ordering constraint. Artif. Intell. 173(2): 299-328 (2009)
50EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering Algorithms for the Multiset Ordering Constraint CoRR abs/0903.0460: (2009)
49EEAlan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints CoRR abs/0905.3769: (2009)
2008
48EEAlan M. Frisch, Ian Miguel: Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Constraints 13(3): 227-228 (2008)
47EEAlan 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
46EEAlan 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
45EEAlan M. Frisch: Abstraction and Reformulation in the Generation of Constraint Models. SARA 2007: 2-3
2006
44EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Propagation algorithms for lexicographic ordering constraints. Artif. Intell. 170(10): 803-834 (2006)
2005
43EEBernadette Martínez Hernández, Alan M. Frisch: Towards the Systematic Generation of Channelling Constraints. CP 2005: 859
42EEMark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth: The Temporal Knapsack Problem and Its Solution. CPAIOR 2005: 34-48
41EEAlan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: The Rules of Constraint Modelling. IJCAI 2005: 109-116
40EEAlan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91
39EEAlan 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
37EEAlan 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
35EELyndon 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
33EEPierre 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
32EELyndon Drake, Alan M. Frisch, Toby Walsh: Automatic Generation of Implied Clauses for SAT. CP 2002: 783
31EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Global Constraints for Lexicographic Orderings. CP 2002: 93-108
30EEAlan M. Frisch, Daniel Sheridan, Toby Walsh: A Fixpoint Based Encoding for Bounded Model Checking. FMCAD 2002: 238-255
29EEAlan 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
25EEAlan M. Frisch: Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming. ILP 1999: 104-115
24EEAlan 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
18EEAlan M. Frisch, Anthony G. Cohn: An Abstract View of Sorted Unification. CADE 1992: 178-192
17EETomá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
9EEAlan 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
7EEPeter 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
1EEAlan M. Frisch, James F. Allen: Knowledge Retrieval as Limited Inference. CADE 1982: 274-291

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)