Erster Workshop über constraint-basiertes Schlussfolgern und grafische Strukturen, St. Andrews, Vereinigtes Königreich
6 September 2010 - 6 September 2010
Vereinigtes Königreich
Vom 6. bis zum 10. September findet in St. Andrews, Vereinigtes Königreich der erste Workshop über constraint-basiertes Schließen und grafische Strukturen statt.
Der Hauptschwerpunkt der Veranstaltung liegt auf der Nutzung grafischer Ansätze für strukturelle Eigenschaften in Constraint-Modellen, die in vielen verschiedenen Aufgabenstellungen zur Anwendung kommen. Dazu gehören Constraint-Propagation, das Zählen von Lösungen, Schließen mit weichen Constraints und Präferenzen, Inferenz und Unsicherheit sowie Konfiguration.
Mithilfe grafischer Strukturen konnte eine Reihe anspruchsvoller mathematischer Probleme gelöst werden. Dies gilt insbesondere für Probleme im Zusammenhang mit der Entscheidungsfindung. Beispielsweise wurden beim probabilistischen Schließen oder bei der Konfiguration Modelle in rechnerisch effiziente grafische Darstellungen kompiliert.
Dieselben grafischen Strukturen werden zunehmend in der klassischen Constraintprogrammierung eingesetzt: um die Effizienz bei der Suche nach einer machbaren oder einer optimalen Lösung zu erhöhen.
Der Workshop findet parallel zur Internationalen Konferenz zu Grundlagen und Praktiken der Constraintprogrammierung statt.Weitere Informationen sind abrufbar unter:
http://www.4c.ucc.ie/cp-graphical-ws-2010/(öffnet in neuem Fenster)
Der Hauptschwerpunkt der Veranstaltung liegt auf der Nutzung grafischer Ansätze für strukturelle Eigenschaften in Constraint-Modellen, die in vielen verschiedenen Aufgabenstellungen zur Anwendung kommen. Dazu gehören Constraint-Propagation, das Zählen von Lösungen, Schließen mit weichen Constraints und Präferenzen, Inferenz und Unsicherheit sowie Konfiguration.
Mithilfe grafischer Strukturen konnte eine Reihe anspruchsvoller mathematischer Probleme gelöst werden. Dies gilt insbesondere für Probleme im Zusammenhang mit der Entscheidungsfindung. Beispielsweise wurden beim probabilistischen Schließen oder bei der Konfiguration Modelle in rechnerisch effiziente grafische Darstellungen kompiliert.
Dieselben grafischen Strukturen werden zunehmend in der klassischen Constraintprogrammierung eingesetzt: um die Effizienz bei der Suche nach einer machbaren oder einer optimalen Lösung zu erhöhen.
Der Workshop findet parallel zur Internationalen Konferenz zu Grundlagen und Praktiken der Constraintprogrammierung statt.Weitere Informationen sind abrufbar unter:
http://www.4c.ucc.ie/cp-graphical-ws-2010/(öffnet in neuem Fenster)