no code implementations • 1 Nov 2021 • Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
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.
no code implementations • 3 Oct 2019 • Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
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 the first work for identifying and analyzing row and column symmetry in matrix models and for efficiently and effectively dealing with such symmetry using static symmetry-breaking ordering constraints.
no code implementations • 27 Mar 2013 • Alan M. Frisch, Peter Haddawy
This paper argues for a modal view of probability.
no code implementations • 27 Mar 2013 • 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 theory.