24 citations · 33 across the 7 of their papers we have counts for
7 papers
Towards Reformulating Essence Specifications for Robustness
Özgür Akgün, Alan M. Frisch, Ian P. Gent +4
The Essence language allows a user to specify a constraint problem at a level of abstraction above that at which constraint modelling decisions are made. Essence specifications are…
A Commentary on "Breaking Row and Column Symmetries in Matrix Models"
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan +2
The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix Models" by Flener et al. (https://link.springer.com/chapter/10.1007%2F3-540-46135-3_31) describes some of t…
Convergent Deduction for Probabilistic Logic
Peter Haddawy, Alan M. Frisch
This paper discusses the semantics and proof theory of Nilsson's probabilistic logic, outlining both the benefits of its well-defined model theory and the drawbacks of its proof th…
Probability as a Modal Operator
Alan M. Frisch, Peter Haddawy
This paper argues for a modal view of probability. The syntax and semantics of one particularly strong probability logic are discussed and some examples of the use of the logic are…
Conjure Revisited: Towards Automated Constraint Modelling
Ozgur Akgun, Alan M. Frisch, Brahim Hnich +2
Automating the constraint modelling process is one of the key challenges facing the constraints field, and one of the principal obstacles preventing widespread adoption of constrai…
Multiset Ordering Constraints
Alan M. Frisch, Ian Miguel, Zeynep Kiziltan +2
We identify a new and important global (or non-binary) constraint. This constraint ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered.…