Knowledge Representation and Reasoning Seminar (SS2016): Unterschied zwischen den Versionen
Peter Steinke (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Knowledge Representation and Reasoning Seminar |Research group=Wissensverarbeitung |Lecturers=Steffen Hölldobler; Peter Steinke; |Term=WS…“) |
Peter Steinke (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 10: | Zeile 10: | ||
|SWSPractical=0 | |SWSPractical=0 | ||
|Exam type=mündliche Prüfung, Referat | |Exam type=mündliche Prüfung, Referat | ||
|Description===Satisfiability Testing== | |Description===Satisfiability Testing (SAT)== | ||
This years seminar is all about recent research related to | This years seminar is all about recent research related to SAT solving. | ||
The student has to select a topic from the ones listed below. He has to study the respective literature. | The student has to select a topic from the ones listed below. He has to study the respective literature. | ||
Version vom 30. März 2016, 11:27 Uhr
Knowledge Representation and Reasoning Seminar
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in WS 2016
Dozent
- Steffen Hölldobler
- Peter Steinke
Umfang (SWS)
- 0/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
- Referat
Satisfiability Testing (SAT)
This years seminar is all about recent research related to SAT solving.
The student has to select a topic from the ones listed below. He has to study the respective literature. The students are expected to participate in the seminar, write a short report of the assigned topic, and give a presentation in the end of the summer term. The presentation should have a length of 30 minutes, followed by a 15 minutes discussion.
German students can give the presentation also in German.
For the students who want to participate at the KRR Seminar it is mandatory to attend all talks during the term. The report (five pages) and the slides have to be send one week before the presentation to Peter Steinke.
Topics
- Speeding up MUS Extraction with Preprocessing and Chunking
- Authors: Valeriy Balabanov and Alexander Ivrii
- Laissez-Faire Caching for Parallel #SAT Solving
- Authors: Jan Burchard , Tobias Schubert and Bernd Becker
- #∃SAT: Projected Model Counting
- Authors: Rehan Abdul Aziz, Geoffrey Chu, Christian Muise and Peter Stuckey
- Using Community Structure to Detect Relevant Learnt Clauses
- Authors: Carlos Ans ́otegui, Jes ́us Gir ́aldez-Cru, Jordi Levy and Laurent Simon
- Exploiting Resolution-based Representations for MaxSAT Solving
- Authors: Miguel Neves, Ruben Martins, Mikoláš Janota, Inês Lynce and Vasco Manquinho
- [rd.springer.com/chapter/10.1007%2F978-3-319-24318-4_23 Between SAT and UNSAT: The Fundamental Difference in CDCL SAT]
- Author: Chanseok Oh
- A New Approach to Partial MUS Enumeration
- Authors: Christian Zielke and Michael Kaufmann
- Evaluating CDCL Variable Scoring Schemes
- Authors: Armin Biere and Andreas Fröhlich
Schedule
The seminar meetings take place on Mondays, from 16.40 to 18.10 (DS 6) in room E05.
- 04.04. initial meeting and the talk by Ebrahim Zidan on the paper "Abduction for Discourse Interpretation: A Probabilistic Framework"
- 11.04. Christoph Wernhard on "Towards Knowledge-Based Assistance for Scholarly Editing" (joint work with Jana Kittelmann)
- 18.04. Emmanuelle Dietz on "A Logic for Everyone" (joint work with Marco Ragni and Ilir Kola)
