Account
Edit tools
Intern
SucheSearch
English

Attribut:Betreuer

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Seite. Es verlinkt zu Seiten, welche das Formular „Mitarbeiter“ nutzen.

vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
K
Ein massiv paralleles Berechnungsmodell für normale logische Programme +
Steffen Hölldobler  +
Intelligent Shift Scheduling +
Sarah Alice Gaggl  +, Elisa Böhl  +
Scheduling Complex Oral Exams in Answer Set Programming +
Sarah Alice Gaggl  +
Kardinalitätsresolution in Beweisen zur Unerfüllbarkeit +
Tobias Philipp  +
Analyse und Implementierung der scf2 Argumentation Semantik +
Sebastian Rudolph  +, Sarah Alice Gaggl  +
Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs +
Pascal Hitzler  +, Steffen Hölldobler  +
Generalized Ultrametric Spaces in Quantitative Domain Theory +
-  +
Morphisms in Logic, Topology, and Formal Concept Analysis +
Steffen Hölldobler  +
Visualisierung von Lösungen in Abstrakten Argumentation Frameworks +
Sarah Alice Gaggl  +
Solving Angry Birds with Reinforcement Learning +
Sarah Alice Gaggl  +, Lukas Schweizer  +
L
Aktionen, Bedingungen und Ressourcen +
Steffen Hölldobler  +
Concept Learning in Description Logics +
Steffen Hölldobler  +
Extracting Logic Programs from Artificial Neural Networks +
Großer Beleg  +
Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme +
-  +
Lösen des Stundenplanproblems mit SAT +
Norbert Manthey  +
Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern +
Norbert Manthey  +
M
Memory Hierarchy Utilization of a SAT Solver +
Steffen Hölldobler  +, Hermann Härtig  +
Improving SAT Solvers Using State-of-the-Art Techniques +
Steffen Hölldobler  +
Increasing the Robustness of SAT Solving with Machine Learning Techniques +
Steffen Hölldobler, Norbert Manthey  +
Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach. +
Steffen Hölldobler  +, Sebastian Bader  +

Es wird ein ähnliches Objekt angezeigt.

...

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Betreuer&oldid=135“