Refine
Year of publication
- 2014 (1252) (remove)
Document Type
- Article (1252) (remove)
Keywords
- prevention (22)
- violence (21)
- Gewalt (20)
- Kriminalität (20)
- Nachhaltigkeit (20)
- Prävention (20)
- Rechtsextremismus (20)
- crime (20)
- right-wing extremism (20)
- sustainability (20)
Institute
- Institut für Geowissenschaften (196)
- Institut für Physik und Astronomie (194)
- Institut für Biochemie und Biologie (182)
- Institut für Chemie (129)
- Department Psychologie (68)
- Department Linguistik (45)
- Institut für Ernährungswissenschaft (40)
- Bürgerliches Recht (34)
- Institut für Mathematik (33)
- Sozialwissenschaften (33)
- Wirtschaftswissenschaften (30)
- Institut für Informatik und Computational Science (29)
- Institut für Romanistik (26)
- Historisches Institut (23)
- Department Sport- und Gesundheitswissenschaften (21)
- Humanwissenschaftliche Fakultät (21)
- Extern (18)
- Öffentliches Recht (16)
- Strukturbereich Kognitionswissenschaften (15)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (13)
- Institut für Slavistik (12)
- Vereinigung für Jüdische Studien e. V. (9)
- Institut für Germanistik (8)
- Institut für Umweltwissenschaften und Geographie (8)
- Kommunalwissenschaftliches Institut (8)
- Department Erziehungswissenschaft (7)
- Klassische Philologie (6)
- MenschenRechtsZentrum (4)
- Philosophische Fakultät (4)
- Arbeitskreis Militär und Gesellschaft in der Frühen Neuzeit e. V. (3)
- Institut für Anglistik und Amerikanistik (3)
- Institut für Künste und Medien (3)
- Fachgruppe Politik- & Verwaltungswissenschaft (2)
- Fachgruppe Soziologie (2)
- Institut für Jüdische Studien und Religionswissenschaft (2)
- Juristische Fakultät (2)
- Mathematisch-Naturwissenschaftliche Fakultät (2)
- Department Grundschulpädagogik (1)
- Strafrecht (1)
- Zentrum für Lehrerbildung und Bildungsforschung (ZeLB) (1)
claspfolio 2
(2014)
Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solver architecture that integrates several different portfolio-based algorithm selection approaches and techniques. The claspfolio 2 solver framework supports various feature generators, solver selection approaches, solver portfolios, as well as solver-schedule-based pre-solving techniques. The default configuration of claspfolio 2 relies on a light-weight version of the ASP solver clasp to generate static and dynamic instance features. The flexible open design of claspfolio 2 is a distinguishing factor even beyond ASP. As such, it provides a unique framework for comparing and combining existing portfolio-based algorithm selection approaches and techniques in a single, unified framework. Taking advantage of this, we conducted an extensive experimental study to assess the impact of different feature sets, selection approaches and base solver portfolios. In addition to gaining substantial insights into the utility of the various approaches and techniques, we identified a default configuration of claspfolio 2 that achieves substantial performance gains not only over clasp's default configuration and the earlier version of claspfolio, but also over manually tuned configurations of clasp.