Attribut:Abschlussarbeitsstatus

This is a property of type text, used for thesis topics and finished theses.

Possible values are:

Offen: The topic is available for interested students
Vergeben: The topic has been given to a student who is currently working on it
Abgeschlossen: The thesis has been finished; in this case the description and title should be the thesis abstract and title
Nicht mehr verfügbar: Topic no longer available (but kept for reference)

Annotationen109Dateneinschränkungsschema

vorherige 20 20 50 100 250 500 nächste 20

Filter<p>Der <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">Filter für die Suche nach Datenwerten zu Attributen</a> unterstützt die Nutzung von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">Abfrageausdrücken</a> wie bpsw. <code>~</code> oder <code>!</code>. Je nach genutzter <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">Abfragedatenbank</a> werden auch die groß- und kleinschreibungsunabhängige Suche oder auch folgende weitere Abfrageausdrücke unterstützt:</p><ul><li><code>in:</code>: Das Ergebnis soll den angegebenen Begriff enthalten, wie bspw. <code>in:Foo</code></li></ul><ul><li><code>not:</code>: Das Ergebnis soll den angegebenen Begriff nicht enthalten, wie bpsw. <code>not:Bar</code></li></ul>

Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.

F

A Camera Sensor Model for Sensor Fusion +

Abgeschlossen +

An Integrative Approach to Object Recognition in VSLAM +

Abgeschlossen +

G

Backdoors for SAT +

Abgeschlossen +

Chase-Based Computation of Cores for Existential Rules +

Abgeschlossen +

Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules +

Abgeschlossen +

Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies +

Abgeschlossen +

Reasoning with Text Annotations +

Abgeschlossen +

Solving Angry Birds with Reinforcement Learning +

Abgeschlossen +

Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation +

Abgeschlossen +

Genetische Algorithmen und SAT-Probleme +

Abgeschlossen +

A Constructive Connectionist Approach Towards Continual Robot Learning +

Abgeschlossen +

Polynomial Reduction from PESP to SAT +

Abgeschlossen +

Inkrementelle Fuzzy-Entscheidungsbäume +

Abgeschlossen +

H

A Layered Architecture for Robot Control Using the Fluent Calculus +

Abgeschlossen +

Using (Deep) Reinforcement Learning To Play Angry Birds +

Abgeschlossen +

Menschliches räumliches Schließen und Ansätze aus der Computational Logic +

Abgeschlossen +

I

Ill-Founded Linear Nested Sequents for LTL +

Offen +

Implementierung des Dekompositionsschemas für Abstract Dialectical Frameworks +

Nicht mehr verfügbar +

Optimierung des logischen Schließens mit existentiellen Regeln durch die Analyse von Abhängigkeiten +

Abgeschlossen +

J

Planning problems in Petri Nets and Fluent Calculus +

Abgeschlossen +

{"type": "PROPERTY_CONSTRAINT_SCHEMA",
-
"constraints": {"type_constraint": "_txt",
-
"allowed_values": ["Offen",
"Vergeben",
"Abgeschlossen",
"Nicht mehr verfügbar"
]
}
}