Wissensverarbeitung
Aus International Center for Computational Logic
Wissensverarbeitung
- Kontaktperson Steffen Hölldobler
Die Professur Wissensverarbeitung untergliedert sich gegenwärtig in zwei Schwerpunkte: menschliches Schließen in Logikprogramme abzubilden, und das Erfüllbarkeitsproblem und damit verwandte Probleme maschinell zu lösen. Auf beiden Gebieten wird sowohl aktiv geforscht, als auch Lehre mit aktuellsten Inhalten gehalten.
Ehemalige
Neueste Publikationen
Komplette Publikationsliste anzeigen
Emmanuelle-Anna Dietz Saldanha, Antonis Kakas
Cognitive Argumentation for Human Syllogistic Reasoning
KI, 33(3):229-242, 2019
Details
Julia Mertesdorf, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning
17th International Conference on Cognitive Modelling Meetings (ICCM), 2019
Details
Emmanuelle-Anna Dietz Saldanha, Robert Schambach
Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles
In Christoph Beierle and Marco Ragni and Stolzenburg and Matthias Thimm, eds., Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief and the 7th Workshop & Kognition, volume 2445 of CEUR Workshop Proceedings, 2-13, 2019. CEUR-WS.org
Details
Emmanuelle-Anna Dietz Saldanha
From Logic Programming to Human Reasoning: How to be Artificially Human (abstract)
KI, 32(4):283-286, 2018
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Kencana Ramli, Luis Palacios Medinacelli
A Core Method for the Weak Completion Semantics with Skeptical Abduction
Journal of Artificial Intelligence Research Special Track on Deep Learning, Knowledge Representation, and Reasoning, 63:51-86, 2018
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz, L.Yohanes Stefanus
The Weak Completion Semantics and Equality
In Gilles Barthe and Geoff Sutcliffe and Margus Veanes, eds., 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 326-342, 2018. EasyChair
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters
In Dietmar Seipel and Michael Hanus and Salvador Abreu, eds., Declarative Programming and Knowledge Management, volume 10997 of LNAI, 149-165, 2018. Springer Nature Switzerland AG
Details
Christoph Wernhard
Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux
Technical Report, TU Dresden, volume 18-01, 2018. Knowledge Representation and Reasoning
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp
Contextual abduction and its complexity issues
In Richard Booth, Giovanni Casini, Ivan Varzinczak, eds., Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe), volume 1872 of CEUR Workshop Proceedings, 58–70, 2017. CEUR-WS.org
Details
Emmanuelle-Anna Dietz Saldanha
From Logic Programming to Human Reasoning: How to be Artificially Human
Phd thesis, TU Dresden, 2017/06/26
Details
Lehrveranstaltungen
- Courses by the KRR Group (WS 2020)
- Parameterized Algorithms and Implementations for SAT and Generalizations (SS 2020)
- Knowledge Representation and Reasoning Seminar (SS 2020)
- Logic (WS 2019)
- Science of Computational Logic (WS 2019)
weitere Lehrveranstaltungen anzeigen
Abgeschlossene Arbeiten
- Präprozessortechniken für Pseudo-Boolean-Constraints
- von Timo Richter (22 März 2017)
- Betreuer: Steffen Hölldobler, Peter Steinke
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics
- von Richard Mörbitz (2017)
- Betreuer: Steffen Hölldobler, Emmanuelle Dietz
- Monadic Reasoning with Weak Completion Semantics
- von Ana Costa (2017)
- Betreuer: Steffen Hölldobler, Emmanuelle Dietz
- Automated Reasoning Support for Process Models using Action Languages
- von Itzel Vázquez Sandoval (28 September 2014)
- Betreuer: Steffen Hölldobler
- Increasing the Robustness of SAT Solving with Machine Learning Techniques
- von Enrique Matos Alfonso (10 September 2014)
- Betreuer: Steffen Hölldobler, Norbert Manthey
- Planning problems in Petri Nets and Fluent Calculus
- von Ferdian Jovan (4 April 2014)
- Betreuer: Steffen Hölldobler
- Menschliches räumliches Schließen und Ansätze aus der Computational Logic
- von Raphael Höps (2014)
- Betreuer: Steffen Hölldobler, Emmanuelle Dietz
- Polynomial Reduction from PESP to SAT
- von Peter Großmann (21 Oktober 2011)
- Betreuer: Peter Steinke
- Backdoors for SAT
- von Marco Gario (1 Oktober 2011)
- Betreuer: Steffen Hölldobler
- Reasoning with Text Annotations
- von Sudeep Ghimire (1 April 2011)
- Betreuer: Steffen Hölldobler
- Reaching Definability via Abduction
- von Evgeny Sherkhonov (2011)
- Betreuer: Steffen Hölldobler
- Improving SAT Solvers Using State-of-the-Art Techniques
- von Norbert Manthey (15 Dezember 2010)
- Betreuer: Steffen Hölldobler
- An Integrative Approach to Object Recognition in VSLAM
- von Jan Funke (15 September 2010)
- Betreuer: Steffen Hölldobler
- Memory Hierarchy Utilization of a SAT Solver
- von Norbert Mantehy (31 März 2010)
- Betreuer: Steffen Hölldobler, Hermann Härtig
- Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben
- von Christoph Spallek (2010)
- Betreuer: Steffen Hölldobler
- Decidability of Reasoning under the Well-Founded Semantics
- von Natalia Cherchago (2010)
- Betreuer: Steffen Hölldobler
- Logic Programs and Three-Valued Consequence Operators
- von Carroline Dewi Puspa Kencana Ramli (1 August 2009)
- Betreuer: Steffen Hölldobler
- Hybrid Logic in the Calculus Structures
- von Armin Troy (2008)
- Betreuer: Steffen Hölldobler
- θ-subsumption algorithms
- von Georg Rammé (29 Oktober 2007)
- Betreuer: Steffen Hölldobler
- Towards a Categorical Semantics for the Open Calculus of Constructions
- von Max Schäfer (13 März 2007)
- Betreuer: Steffen Hölldobler
- Predicting the Performance of Wireless Communication Networks
- von Ran Shao (2007)
- Betreuer: Steffen Hölldobler
- Concept Learning in Description Logics
- von Jens Lehmann (12 September 2006)
- Betreuer: Steffen Hölldobler
- Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.
- von Valentin Mayer-Eichberger (24 Januar 2006)
- Betreuer: Steffen Hölldobler, Sebastian Bader
- Neural-Symbolic Integration - Constructive Approaches
- von Andreas Witzel (1 Januar 2006)
- Betreuer: Steffen Hölldobler
- Proof by Pointing and Selecting
- von Junhyuk Cho (2006)
- Betreuer: Steffen Hölldobler
- Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping
- von Jeannette Bohg (31 Dezember 2005)
- Betreuer: Steffen Hölldobler
- Real-Time Structure from Motion Using Kalman Filtering
- von Jeannette Bohg (21 März 2005)
- Betreuer: Großer Beleg
- Extracting Logic Programs from Artificial Neural Networks
- von Jens Lehmann (22 Februar 2005)
- Betreuer: Großer Beleg
- Morphisms in Logic, Topology, and Formal Concept Analysis
- von Markus Krötzsch (1 Februar 2005)
- Betreuer: Steffen Hölldobler
- The Design of Modal Proof Theories: the case of S5
- von Phiniki Stouppa (20 Oktober 2004)
- Betreuer: Steffen Hölldobler
- Application of a Monocular Camera as a Motion Sensor for Mobile Robots
- von Tobias Pietzsch (1 März 2004)
- Betreuer: Steffen Hölldobler
- Generalized Ultrametric Spaces in Quantitative Domain Theory
- von Markus Krötzsch (2004)
- Betreuer: -
- Geometry and Axiomatics of Commonsense: Fragments
- von Matthias Wendt (2004)
- Betreuer: Steffen Hölldobler
- Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs
- von Matthias Knorr (2003)
- Betreuer: Pascal Hitzler, Steffen Hölldobler
- Towards Automated Symbolic Dynamic Programming
- von Olga Skvortsova (2003)
- Betreuer: Steffen Hölldobler
- From Logic Programs to Iterated Function Systems
- von Sebastian Bader (2003)
- Betreuer: Steffen Hölldobler
- EnTS - a new Entropy-based Tree-indexing System
- von Sebastian Bader (2002)
- Betreuer: Dr. Frederic Maire
- A Layered Architecture for Robot Control Using the Fluent Calculus
- von Andreas Henschel (2002)
- Betreuer: Steffen Hölldobler
- A Camera Sensor Model for Sensor Fusion
- von Matthias Fichtner (2002)
- Betreuer: Steffen Hölldobler
- Properties of a Logical System in the Calculus of Structures
- von Alwen Fernanto Tiu (2001)
- Betreuer: Steffen Hölldobler
- Inkrementelle Fuzzy-Entscheidungsbäume
- von Marina Guetova (2001)
- Betreuer: Steffen Hölldobler
- First-Order Rule Learning Through a Pulsed Neural Network
- von Ashish Darbari (2000)
- Betreuer: Steffen Hölldobler
- Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen
- von Jörg Wunderlich (1998)
- Betreuer: Steffen Hölldobler
- Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband
- von Lars Beikirch (1998)
- Betreuer: Steffen Hölldobler
- Indirekte Gewichtskorrekturverfahren für Neuronale Netze
- von Lars Beikirch (1997)
- Betreuer: -
- Bedingte und rekursive Aktionen im Fluent-Kalkül
- von Hans-Peter Störr (1997)
- Betreuer: Steffen Hölldobler
- A Constructive Connectionist Approach Towards Continual Robot Learning
- von Axel Großmann (1997)
- Betreuer: Steffen Hölldobler
- Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme
- von Helko Lehmann (1996)
- Betreuer: -
- Vergleich ausgewählter schneller Lernalgorithmen für Neuronale Netze
- von Christian von Rozycki (1996)
- Betreuer: Steffen Hölldobler
- Rekursiver Autoassoziativer Speicher und Holographisch Reduzierte Repräsentation
- von Torsten Seiler (1996)
- Betreuer: Steffen Hölldobler
- Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator
- von Martin Pätzug (1996)
- Betreuer: Steffen Hölldobler
- Aktionen, Bedingungen und Ressourcen
- von Helko Lehmann (1996)
- Betreuer: Steffen Hölldobler
- Genetische Algorithmen und SAT-Probleme
- von Axel Grosmann (1995)
- Betreuer: -
- A Resource-Oriented Deductive Approach Towards Hierarchical Planning
- von Kerstin Eder (1995)
- Betreuer: Steffen Hölldobler
- Ein massiv paralleles Berechnungsmodell für normale logische Programme
- von Yvonne Kalinke (1994)
- Betreuer: Steffen Hölldobler
