Account
Edit tools
Intern
SucheSearch
English

Knowledge Representation and Reasoning Seminar (WS2017): Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Romy Thieme (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 |…“)
 
Romy Thieme (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Zeile 2: Zeile 2:
|Title=Knowledge Representation and Reasoning Seminar
|Title=Knowledge Representation and Reasoning Seminar
|Research group=Wissensverarbeitung
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler; Peter Steinke;
|Lecturers=Steffen Hölldobler; Emmanuelle Dietz;  
|Term=WS
|Term=WS
|Year=2017
|Year=2017
Zeile 26: Zeile 26:
The report (five pages) and the slides have to be send one week before the presentation to Peter Steinke.
The report (five pages) and the slides have to be send one week before the presentation to Peter Steinke.


<!--
 


==Topics==
==Topics==


* [http://rd.springer.com/chapter/10.1007/978-3-319-24318-4_3 Speeding up MUS Extraction with Preprocessing and Chunking]
** Authors: <i>Valeriy Balabanov and Alexander Ivrii</i>
* [http://rd.springer.com/chapter/10.1007%2F978-3-319-24318-4_5 Laissez-Faire Caching for Parallel #SAT Solving]
** Authors: <i>Jan Burchard , Tobias Schubert and Bernd Becker</i>
* [http://rd.springer.com/chapter/10.1007%2F978-3-319-24318-4_10 #∃SAT: Projected Model Counting]
** Authors: <i>Rehan Abdul Aziz, Geoffrey Chu, Christian Muise and Peter Stuckey</i>
* [http://www.iiia.csic.es/~levy/papers/SAT15.pdf Using Community Structure to Detect Relevant Learnt Clauses]
** Authors: <i>Carlos Ans ́otegui, Jes ́us Gir ́aldez-Cru, Jordi Levy and Laurent Simon</i>
* [http://arxiv.org/pdf/1505.02405.pdf Exploiting Resolution-based Representations for MaxSAT Solving]
** Authors: <i>Miguel Neves, Ruben Martins, Mikoláš Janota, Inês Lynce and Vasco Manquinho</i>
* [http://rd.springer.com/chapter/10.1007%2F978-3-319-24318-4_23 Between SAT and UNSAT: The Fundamental Difference in CDCL SAT]
** Author: <i>Chanseok Oh</i>
* [http://rd.springer.com/chapter/10.1007%2F978-3-319-24318-4_28 A New Approach to Partial MUS Enumeration]
** Authors: <i>Christian Zielke and Michael Kaufmann</i>
* [http://fmv.jku.at/papers/BiereFroehlich-SAT15.pdf Evaluating CDCL Variable Scoring Schemes]
** Authors: <i>Armin Biere and Andreas Fröhlich</i>


-->
 


==Schedule==
==Schedule==
* <b>17.10. <i>initial meeting</i></b>
 
* <b>24.10.</b> <i>Formalization and Certification of Parallel SAT Solvers </i> by Tobias Philipp
* <b>31.10.</b> <i>Reformationstag</i> (official holiday)
* <b> 7.11.</b> <i>Encoding Pseudo-Boolean Constraints into CNF</i> by Peter Steinke
* <b> 14.11.</b> <i>Response Patterns in the Wason Selection Task and the Special Case of Uncertainty</i> by Emmanuelle Dietz (joint work with Marco Ragni)
* <b> 21.11.</b> <i>Boolean Equation Solving Revisited on the Basis of First-Order Logic in Connection with Interpolation and Second-Order Quantifier Elimination</i> by Christoph Wernhard
* <b> 28.11.</b> <i>Model Counting</i> by Sibylle Möhle
* <b>05.12.</b> <i>Artificial intelligence outperforms humans in board games</i> by Anna Tigunova
* <b> 12.12.</b> <i>Weak Completion Semantics and Abduction</i> by Steffen Hölldobler
* <b> 19.12.</b> <i>Contextual Abduction</i> by Emmanuelle Dietz
* <b> 09.01.</b> <i>State of the Art Pseudo Boolean Encodings</i> by Peter Steinke
* <b> 16.01.</b> <i>A Formal Framework for #SAT</i> by Sibylle Möhle
* <b> 23.01.</b> <i>Side-effects and Consequences in Contextual Reasoning</i> by Emmanuelle Dietz
}}
}}

Version vom 6. September 2017, 10:48 Uhr

Knowledge Representation and Reasoning Seminar

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in WS 2017

Dozent

Umfang (SWS)

  • 0/2/0

Module

Leistungskontrolle

  • Mündliche Prüfung
  • Referat


Satisfiability Testing (SAT)

The seminar meetings take place on Mondays, from 16.40 to 18.10 (DS 6) in room E05. The initial meeting will take place on Monday 17.10.

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

==Schedule==




Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Knowledge_Representation_and_Reasoning_Seminar_(WS2017)&oldid=24025“