The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alan M. Frisch: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alan M. Frisch
    A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. [Citation Graph (1, 0)][DBLP]
    KR, 1989, pp:126-136 [Conf]
  2. Alan M. Frisch
    The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. [Citation Graph (1, 0)][DBLP]
    Artif. Intell., 1991, v:49, n:1-3, pp:161-198 [Journal]
  3. Alan M. Frisch, Peter Haddawy
    Anytime Deduction for Probabilistic Logic. [Citation Graph (1, 0)][DBLP]
    Artif. Intell., 1994, v:69, n:1-2, pp:93-122 [Journal]
  4. James F. Allen, Alan M. Frisch, Diane J. Litman
    ARGOT: The Rochester Dialogue System. [Citation Graph (0, 0)][DBLP]
    AAAI, 1982, pp:66-70 [Conf]
  5. Lyndon Drake, Alan M. Frisch
    Combining Inference and Search for the Propositional Satisfiability Problem. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:982- [Conf]
  6. Alan M. Frisch, C. David Page Jr.
    Generalization with Taxonomic Information. [Citation Graph (0, 0)][DBLP]
    AAAI, 1990, pp:755-761 [Conf]
  7. Alan M. Frisch, James F. Allen
    Knowledge Retrieval as Limited Inference. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:274-291 [Conf]
  8. Alan M. Frisch, Anthony G. Cohn
    An Abstract View of Sorted Unification. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:178-192 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:721-725 [Conf]
  10. Alan M. Frisch, Ian Miguel, Toby Walsh
    CGRASS: A System for Transforming Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    International Workshop on Constraint Solving and Constraint Logic Programming, 2002, pp:15-30 [Conf]
  11. Lyndon Drake, Alan M. Frisch, Toby Walsh
    Automatic Generation of Implied Clauses for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:783- [Conf]
  12. Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh
    Breaking Row and Column Symmetries in Matrix Models. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:462-476 [Conf]
  13. Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
    Global Constraints for Lexicographic Orderings. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:93-108 [Conf]
  14. Alan M. Frisch, Christopher Jefferson, Ian Miguel
    Constraints for Breaking More Row and Column Symmetries. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:318-332 [Conf]
  15. Bernadette Martínez Hernández, Alan M. Frisch
    Towards the Systematic Generation of Channelling Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:859- [Conf]
  16. Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth
    The Temporal Knapsack Problem and Its Solution. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2005, pp:34-48 [Conf]
  17. Alan M. Frisch, Christopher Jefferson, Ian Miguel
    Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:171-175 [Conf]
  18. Alan M. Frisch, Daniel Sheridan, Toby Walsh
    A Fixpoint Based Encoding for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2002, pp:238-255 [Conf]
  19. C. David Page Jr., Alan M. Frisch
    Learning Constrained Atoms. [Citation Graph (0, 0)][DBLP]
    ML, 1991, pp:427-431 [Conf]
  20. Alan M. Frisch
    Using Model Theory to Specify AI Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:148-154 [Conf]
  21. Alan M. Frisch
    Inference without Chaining. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1987, pp:515-519 [Conf]
  22. Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
    The Rules of Constraint Modelling. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:109-116 [Conf]
  23. Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh
    Multiset Ordering Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:221-226 [Conf]
  24. Alan M. Frisch, Timothy J. Peugniez
    Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:282-290 [Conf]
  25. Alan M. Frisch, C. David Page Jr.
    Building Theories into Instantiation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1210-1216 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:80-87 [Conf]
  27. Simon Anthony, Alan M. Frisch
    Cautious Induction in Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILP, 1997, pp:45-60 [Conf]
  28. Simon Anthony, Alan M. Frisch
    Generating Numerical Literals During Refinement. [Citation Graph (0, 0)][DBLP]
    ILP, 1997, pp:61-76 [Conf]
  29. Alan M. Frisch
    Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming. [Citation Graph (0, 0)][DBLP]
    ILP, 1999, pp:104-115 [Conf]
  30. Alan M. Frisch, Richard B. Scherl
    A Constraint Logic Approach to Modal Deduction. [Citation Graph (0, 0)][DBLP]
    JELIA, 1990, pp:234-250 [Conf]
  31. Alan M. Frisch, Richard B. Scherl
    A General Framework for Modal Deduction. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:196-207 [Conf]
  32. C. David Page Jr., Alan M. Frisch
    Generalizing Atoms in Constraint Logic. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:429-440 [Conf]
  33. Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh
    Transforming and Refining Abstract Constraint Specifications. [Citation Graph (0, 0)][DBLP]
    SARA, 2005, pp:76-91 [Conf]
  34. Lyndon Drake, Alan M. Frisch
    The Interaction Between Inference and Branching Heuristics. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:370-382 [Conf]
  35. Peter Haddawy, Alan M. Frisch
    Modal logics of higher-order probability. [Citation Graph (0, 0)][DBLP]
    UAI, 1988, pp:133-148 [Conf]
  36. Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
    Propagation algorithms for lexicographic ordering constraints. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:10, pp:803-834 [Journal]
  37. Alan M. Frisch, Anthony G. Cohn
    Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1991, v:11, n:5, pp:77-83 [Journal]
  38. Alan M. Frisch, Richard B. Scherl
    A Bibliography on Hybrid Reasoning. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1991, v:11, n:5, pp:84-87 [Journal]
  39. Alan M. Frisch
    Parsing with restricted quantification: an initial demonstration. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1986, v:2, n:, pp:142-150 [Journal]
  40. Alan M. Frisch
    Solving Constraint Satisfaction Problems with NB-Resolution. [Citation Graph (0, 0)][DBLP]
    Electron. Trans. Artif. Intell., 1999, v:3, n:B, pp:105-120 [Journal]
  41. Peter Haddawy, Alan M. Frisch
    Convergent deduction for probabilistic logic. [Citation Graph (0, 0)][DBLP]
    Int. J. Approx. Reasoning, 1988, v:2, n:3, pp:335- [Journal]
  42. Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale
    Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:143-179 [Journal]
  43. Simon Anthony, Alan M. Frisch
    Cautious Induction: An Alternative to Clause-at-a Time Hypothesis Construction in Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1999, v:17, n:1, pp:25-52 [Journal]
  44. Alan M. Frisch
    Abstraction and Reformulation in the Generation of Constraint Models. [Citation Graph (0, 0)][DBLP]
    SARA, 2007, pp:2-3 [Conf]

  45. The Proper Treatment of Undefinedness in Constraint Languages. [Citation Graph (, )][DBLP]


  46. Filtering algorithms for the multiset ordering constraint. [Citation Graph (, )][DBLP]


  47. Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. [Citation Graph (, )][DBLP]


  48. Essence : A constraint language for specifying combinatorial problems. [Citation Graph (, )][DBLP]


  49. Filtering Algorithms for the Multiset Ordering Constraint [Citation Graph (, )][DBLP]


  50. Multiset Ordering Constraints [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002