Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• Big Data in SAT Solving - Heuristiken von Beweisen lernen  + (Bachelor)
• Menschliches räumliches Schließen und Ansätze aus der Computational Logic  + (Bachelor)
• Kardinalitätsresolution in Beweisen zur Unerfüllbarkeit  + (Bachelor)
• Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs  + (Bachelor)
• Lösen des Stundenplanproblems mit SAT  + (Bachelor)
• Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern  + (Bachelor)
• Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.  + (Bachelor)
• Metamodellierung in der Formalen Begriffsanalyse  + (Bachelor)
• Human reasoning and abduction  + (Bachelor)
• Verbinden von Suchabstraktionen zur echten Suche  + (Bachelor)
• Vergleich von Strategien zur Behandlung von Inkonsistenz in Beschreibungslogiken  + (Bachelor)
• Verifizierte SAT-basierte Entscheidungsprozeduren  + (Bachelor)
• Vorverarbeitung für Pseudo Boolean Probleme  + (Bachelor)
• Visualisierung räumlich-zeitlicher Inhalte aus Wikidata  + (Bachelor)

• Lösen des Stundenplanproblems mit SAT  +
• Big Data in SAT Solving - Heuristiken von Beweisen lernen  +
• Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern  +
• Vorverarbeitung für Pseudo Boolean Probleme  +
• Verbinden von Suchabstraktionen zur echten Suche  +
• Verifizierte SAT-basierte Entscheidungsprozeduren  +
• Kardinalitätsresolution in Beweisen zur Unerfüllbarkeit  +
• Concept Learning in Description Logics  + (Diplom)
• Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping  + (Diplom)
• Chase-Based Computation of Cores for Existential Rules  + (Diplom)
• Optimierung des logischen Schließens mit existentiellen Regeln durch die Analyse von Abhängigkeiten  + (Diplom)
• Iterative Ontology Update with Minimum Change  + (Master)
• Grounded Circumscription in Description Logics  + (Master)
• On the Computation of Naive-based Argumentation Semantics  + (Master)
• Navigation Approaches for Answer Sets  + (Master)
• Combining Belief Revision and Abstract Dialectical Frameworks  + (Master)
• Increasing the Robustness of SAT Solving with Machine Learning Techniques  + (Master)
• From Logic Programs to Iterated Function Systems  + (Master)
• Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband  + (Master)
• Decidability of Reasoning under the Well-Founded Semantics  + (Master)
• Proof by Pointing and Selecting  + (Master)
• First-Order Rule Learning Through a Pulsed Neural Network  + (Master)
• A Resource-Oriented Deductive Approach Towards Hierarchical Planning  + (Master)
• A Camera Sensor Model for Sensor Fusion  + (Master)
• An Integrative Approach to Object Recognition in VSLAM  + (Master)
• Backdoors for SAT  + (Master)
• Reasoning with Text Annotations  + (Master)
• A Constructive Connectionist Approach Towards Continual Robot Learning  + (Master)
• Inkrementelle Fuzzy-Entscheidungsbäume  + (Master)
• A Layered Architecture for Robot Control Using the Fluent Calculus  + (Master)
• Planning problems in Petri Nets and Fluent Calculus  + (Master)
• Ein massiv paralleles Berechnungsmodell für normale logische Programme  + (Master)
• Morphisms in Logic, Topology, and Formal Concept Analysis  + (Master)
• Aktionen, Bedingungen und Ressourcen  + (Master)
• Improving SAT Solvers Using State-of-the-Art Techniques  + (Master)
• Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator  + (Master)