Cost-Effective Testing of Operational Support Algorithms Using CP-nets

Presentation I’m going to give at the Petri Nets conference Friday next week. Be there or be two right isosceles triangles glued together at the hypothenuse. (The slides are subject to minor changes; changes will be applied to the embedded version without further notice.) MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. […]

Read More… from Cost-Effective Testing of Operational Support Algorithms Using CP-nets

Grade/CPN: Semi-automatic Support for Teaching CP-nets

Presentation I’m going to give at PNSE early next week.  Be there or be an equilateral quadrangle. See more about Grade/CPN on the CPN Tools homepage. (The slides are subject to minor changes; changes will be applied to the embedded version without further notice.) MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. […]

Read More… from Grade/CPN: Semi-automatic Support for Teaching CP-nets

A Fresh View on Alignments

Presentation from AIS meeting on alignments. We basically provide a formal foundation for alignments, which builds on well-known concepts in theoretical computer science.  Our definitions are compatible with previous definitions for alignments (by Arya and Boudewijn), and we use the formal foundation to provide several directions for future work as well current new possibilities and […]

Read More… from A Fresh View on Alignments