Workshop on Parallelization
Date: July 8, 2008
Location: Science Building of the Vrije University Amsterdam, De Boelelaan 1085, Amsterdam
Start time: 14:00 h
Room: S205
Objectives: Workshop on parallelization applied to the LarKC-like algorithms
Draft Agenda:
Presentations: Presentations shown during the workshop.
- Please, upload your presentations here!
Parallelization Levels (?Sabine Roller)
Rule-based reasoning algorithms (?Barry Bishop)
SAT Solving Algorithms and Parallelisation (Michael Witbrock)
SAT-Solving in Propositional Logics (?Uwe Keller)