TUD Logo

 Search 
TUD Home » ... » Institutes » Institute of Artificial Intelligence » Knowledge Representation and Reasoning » Talks

Faculty of Computer Science

Talks, Presentations, and Posters
in Year 2014

1
Steffen Hölldobler
SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6)
22.04.2014, North-Caucasus Federal University, Stawropol, Russland
2
Steffen Hölldobler
Answer Set Programming and Clasp (INFOCOM-6)
22.04.2014, North-Caucasus Federal University, Stawropol, Russland
3
Steffen Hölldobler
Advanced Petri Nets and the Fluent Calculus (INFOCOM-6)
23.04.2014, North-Caucasus Federal University, Stawropol, Russland
4
Steffen Hölldobler
Semantic Technologies (Swap and Transfer Workshops)
17.09.2014, University of Minho, Braga, Portugal
5
Steffen Hölldobler
From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar)
18.09.2014, Schloss Dagstuhl - Leibniz Center for Informatics, Dagstuhl, Deutschland
6
Steffen Hölldobler
Computational Logic and Human Reasoning Episodes
3.11.2014, Jilin University, Changchun, China
7
Steffen Hölldobler
Connectionist Model Generation
3.11.2014, Jilin University, Changchun, China
8
Steffen Hölldobler
SAT Solving - Scheduling, Generic CDCL, Partitioning
4.11.2014, Jilin University, Changchun, China
9
Steffen Hölldobler
TU Dresden and Computer Science
4.11.2014, Jilin University, Changchun, China
10
Norbert Manthey
Extended Resolution in Modern SAT Solving
24.07.2014, Wien, Österreich - Joint Automated Reasoning Workshop and Deduktionstreffen
11
Norbert Manthey
Formula Simplifications as DRAT Derivations
25.09.2014, Stuttgart, Deutschland - German Conference on Artificial Intelligence
12
Norbert Manthey
CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing
26.09.2014, Stuttgart, Deutschland - German Conference on Artificial Intelligence
13
Emmanuelle Dietz
Contextual Abductive Reasoning with Side-Effects
21.07.2014, Vienna, Austria - 30th International Conference on Logic Programming (ICLP)
14
Emmanuelle Dietz
A Computational Logic Approach to the Belief-Bias Effect
22.07.2014, Vienna, Austria - 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)
15
Tobias Philipp
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers
22.04.2014, Stavropol, Russian Federation - Young Scientists' International Workshop on Trends in Information Processing
16
Tobias Philipp
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers
13.07.2014, Vienna Austria - Pragmatics of SAT 2014
17
Tobias Philipp
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
13.07.2014, Vienna Austria - Pragmatics of SAT 2014
18
Jana Kittelmann and Christoph Wernhard
Semantik, Linked Data, Web-Präsentation: Grundlagen der Nachlasserschließung im Portal www.pueckler-digital.de
15.05.2014, Humboldt Universität zu Berlin, Workshop Datenmodellierung in digitalen Briefeditionen und ihre interpretatorische Leistung
19
Christoph Wernhard
Application Patterns of Projection/Forgetting
17.07.2014, Vienna, Austria, Workshop on Interpolation: From Proofs to Applications (iPRA 2014)
20
Christoph Wernhard
Second-Order Characterizations of Definientia in Formula Classes
24.07.2014, Vienna, Austria, Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014)