TU Dresden
/
TU Dresden
/
Informatik
Computer Science
/
ICCL
/
TU Dresden
/
Fakultät Informatik
Faculty of Computer Science
/
International Center For Computational Logic
Account
Anmelden
Edit tools
Diskussion
Quelltext anzeigen
Versionsgeschichte
Intern
Suche
Search
English
Über ICCL
News & Termine
Profil
Forschungsgruppen
Beschäftigte
Stellenangebote
Lage und Kontakt
Studium
Lehrveranstaltungen
Studienarbeiten
Europäischer Master
Internationaler Master
Forschung
Forschungsfelder
Forschungsprojekte
Publikationen
Kooperation
Angebote
Partner
Attribut:Student
Aus International Center for Computational Logic
Wechseln zu:
Navigation
,
Suche
Text
Annotationen
96
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.
K
Generalized Ultrametric Spaces in Quantitative Domain Theory
+
Markus Krötzsch
+
Morphisms in Logic, Topology, and Formal Concept Analysis
+
Markus Krötzsch
+
Visualisierung von Lösungen in Abstrakten Argumentation Frameworks
+
Rajwardhan Kumar
+
Solving Angry Birds with Reinforcement Learning
+
Richard Kwasnicki
+
L
Aktionen, Bedingungen und Ressourcen
+
Helko Lehmann
+
Concept Learning in Description Logics
+
Jens Lehmann
+
Extracting Logic Programs from Artificial Neural Networks
+
Jens Lehmann
+
Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme
+
Helko Lehmann
+
M
Memory Hierarchy Utilization of a SAT Solver
+
Norbert Mantehy
+
Improving SAT Solvers Using State-of-the-Art Techniques
+
Norbert Manthey
+
Increasing the Robustness of SAT Solving with Machine Learning Techniques
+
Enrique Matos Alfonso
+
Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.
+
Valentin Mayer-Eichberger
+
Combining Belief Revision and Abstract Dialectical Frameworks
+
Umer Mushtaq
+
Encoding Belief Revision Operators in Abstract Dialectical Frameworks
+
Umer Mushtaq
+
Intertranslatability of Labeling-Based Argumentation Semantics
+
Umer Mushtaq
+
Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics
+
Richard Mörbitz
+
N
Faktorisierung von natürlichen zahlen als sat-problem
+
Markus Napierkowski
+
P
Human reasoning and abduction
+
Tobias Philipp
+
Application of a Monocular Camera as a Motion Sensor for Mobile Robots
+
Tobias Pietzsch
+
Position estimation of a mobile robot using a single vehicle-mounted camera
+
Tobias Pietzsch
+
Links auf diese Seite
Änderungen an verlinkten Seiten
Spezialseiten
Druckversion
Permanenter Link
Seiteninformationen
Attribute anzeigen