The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alan M. Frisch" ( http://dblp.L3S.de/Authors/Alan_M._Frisch )

  Author page on DBLP  Author page in RDF  Community of Alan M. Frisch in ASPL-2

Publication years (Num. hits)
1981-1991 (20) 1992-2002 (19) 2003-2009 (18) 2011-2019 (7)
Publication types (Num. hits)
article(22) inproceedings(39) proceedings(3)
Venues (Conferences, Journals, ...)
CP(7) IJCAI(7) CoRR(6) Artif. Intell.(4) ILP(4) AAAI(3) CADE(3) KR(3) SARA(3) AI Magazine(2) Constraints(2) SIGART Newsletter(2) AAAI/IAAI(1) ACL(1) ARW(1) Cognitive Science(1) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 65 publication records. Showing 64 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh A Commentary on "Breaking Row and Column Symmetries in Matrix Models". Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alan M. Frisch, Peter Haddawy Probability as a Modal Operator Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Peter Haddawy, Alan M. Frisch Convergent Deduction for Probabilistic Logic Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale Automated Symmetry Breaking and Model Selection in Conjure. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Peter Gregory (eds.) Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, 11-12 July 2013, Leavenworth, Washington, USA. Search on Bibsonomy SARA The full citation details ... 2013 DBLP  BibTeX  RDF
1Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel Conjure Revisited: Towards Automated Constraint Modelling Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich Extensible Automated Constraint Modelling. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh Filtering algorithms for the multiset ordering constraint. Search on Bibsonomy Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh Multiset Ordering Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh Filtering Algorithms for the Multiset Ordering Constraint Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Alan M. Frisch, Peter J. Stuckey The Proper Treatment of Undefinedness in Constraint Languages. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel Essence : A constraint language for specifying combinatorial problems. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Specification languages, Constraint programming, Combinatorial problems, Constraint languages, Constraint modelling
1Alan M. Frisch, Ian Miguel Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Alan M. Frisch Abstraction and Reformulation in the Generation of Constraint Models. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh Propagation algorithms for lexicographic ordering constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF local search, encodings, satisfiability, propositional logic
1Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth The Temporal Knapsack Problem and Its Solution. Search on Bibsonomy CPAIOR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bernadette Martínez Hernández, Alan M. Frisch Towards the Systematic Generation of Channelling Constraints. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel The Rules of Constraint Modelling. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh Transforming and Refining Abstract Constraint Specifications. Search on Bibsonomy SARA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Christopher Jefferson, Ian Miguel Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Lyndon Drake, Alan M. Frisch The Interaction Between Inference and Branching Heuristics. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Christopher Jefferson, Ian Miguel Constraints for Breaking More Row and Column Symmetries. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh Multiset Ordering Constraints. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Lyndon Drake, Alan M. Frisch Combining Inference and Search for the Propositional Satisfiability Problem. Search on Bibsonomy AAAI/IAAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh Breaking Row and Column Symmetries in Matrix Models. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh Global Constraints for Lexicographic Orderings. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lyndon Drake, Alan M. Frisch, Toby Walsh Automatic Generation of Implied Clauses for SAT. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Ian Miguel, Toby Walsh CGRASS: A System for Transforming Constraint Satisfaction Problems. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Daniel Sheridan, Toby Walsh A Fixpoint Based Encoding for Bounded Model Checking. Search on Bibsonomy FMCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Timothy J. Peugniez Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Alan M. Frisch, Toby Walsh Automatic Generation of Implied Constraints: Project Description. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1James Cussens, Alan M. Frisch (eds.) Inductive Logic Programming, 10th International Conference, ILP 2000, Work-in-progress reports, London, UK, July 2000, Proceedings Search on Bibsonomy ILP Work-in-progress reports The full citation details ... 2000 DBLP  BibTeX  RDF
1James Cussens, Alan M. Frisch (eds.) Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings Search on Bibsonomy ILP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch Solving Constraint Satisfaction Problems with NB-Resolution. Search on Bibsonomy Electron. Trans. Artif. Intell. The full citation details ... 1999 DBLP  BibTeX  RDF
1Simon Anthony, Alan M. Frisch Cautious Induction: An Alternative to Clause-at-a Time Hypothesis Construction in Inductive Logic Programming. Search on Bibsonomy New Generation Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming. Search on Bibsonomy ILP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Simon Anthony, Alan M. Frisch Generating Numerical Literals During Refinement. Search on Bibsonomy ILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Simon Anthony, Alan M. Frisch Cautious Induction in Inductive Logic Programming. Search on Bibsonomy ILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, C. David Page Jr. Building Theories into Instantiation. Search on Bibsonomy IJCAI The full citation details ... 1995 DBLP  BibTeX  RDF
1Alan M. Frisch, Peter Haddawy Anytime Deduction for Probabilistic Logic. Search on Bibsonomy Artif. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Anthony G. Cohn An Abstract View of Sorted Unification. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Search on Bibsonomy Artif. Intell. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Richard B. Scherl A Bibliography on Hybrid Reasoning. Search on Bibsonomy AI Magazine The full citation details ... 1991 DBLP  BibTeX  RDF
1Alan M. Frisch, Anthony G. Cohn Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning. Search on Bibsonomy AI Magazine The full citation details ... 1991 DBLP  BibTeX  RDF
1Alan M. Frisch, Richard B. Scherl A General Framework for Modal Deduction. Search on Bibsonomy KR The full citation details ... 1991 DBLP  BibTeX  RDF
1C. David Page Jr., Alan M. Frisch Generalizing Atoms in Constraint Logic. Search on Bibsonomy KR The full citation details ... 1991 DBLP  BibTeX  RDF
1C. David Page Jr., Alan M. Frisch Learning Constrained Atoms. Search on Bibsonomy ML The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, C. David Page Jr. Generalization with Taxonomic Information. Search on Bibsonomy AAAI The full citation details ... 1990 DBLP  BibTeX  RDF
1Alan M. Frisch, Richard B. Scherl A Constraint Logic Approach to Modal Deduction. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Search on Bibsonomy KR The full citation details ... 1989 DBLP  BibTeX  RDF
1Peter Haddawy, Alan M. Frisch Convergent deduction for probabilistic logic. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 1988 DBLP  BibTeX  RDF
1Peter Haddawy, Alan M. Frisch Modal logics of higher-order probability. Search on Bibsonomy UAI The full citation details ... 1988 DBLP  BibTeX  RDF
1Alan M. Frisch Inference without Chaining. Search on Bibsonomy IJCAI The full citation details ... 1987 DBLP  BibTeX  RDF
1Alan M. Frisch Parsing with restricted quantification: an initial demonstration. Search on Bibsonomy Computational Intelligence The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch An investigation into inference with restricted quantification and a taxonomic representation. Search on Bibsonomy SIGART Newsletter The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch Using Model Theory to Specify AI Programs. Search on Bibsonomy IJCAI The full citation details ... 1985 DBLP  BibTeX  RDF
1Alan M. Frisch, James F. Allen, Mark Giuliano An overview of the HORNE logic programming system. Search on Bibsonomy SIGART Newsletter The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1James F. Allen, Alan M. Frisch, Diane J. Litman ARGOT: The Rochester Dialogue System. Search on Bibsonomy AAAI The full citation details ... 1982 DBLP  BibTeX  RDF
1Alan M. Frisch, James F. Allen Knowledge Retrieval as Limited Inference. Search on Bibsonomy CADE The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1James F. Allen, Alan M. Frisch What's in a Semantic Network? Search on Bibsonomy ACL The full citation details ... 1982 DBLP  BibTeX  RDF
1Alan M. Frisch, Donald Perlis A Re-Evaluation of Story Grammars. Search on Bibsonomy Cognitive Science The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #64 of 64 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license