Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Big Data in SAT Solving - Heuristiken von Beweisen lernen  + (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)
• Kardinalitätsresolution in Beweisen zur Unerfüllbarkeit  + (Diplom)
• Concept Learning in Description Logics  + (Diplom)
• Lösen des Stundenplanproblems mit SAT  + (Diplom)
• Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern  + (Diplom)
• Verbinden von Suchabstraktionen zur echten Suche  + (Diplom)
• Verifizierte SAT-basierte Entscheidungsprozeduren  + (Diplom)
• Vorverarbeitung für Pseudo Boolean Probleme  + (Diplom)

• Lösen des Stundenplanproblems mit SAT  + (Bachelor)
• Big Data in SAT Solving - Heuristiken von Beweisen lernen  + (Bachelor)
• Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern  + (Bachelor)
• Vorverarbeitung für Pseudo Boolean Probleme  + (Bachelor)
• Verbinden von Suchabstraktionen zur echten Suche  + (Bachelor)
• 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)
• Verifizierte SAT-basierte Entscheidungsprozeduren  + (Bachelor)
• Kardinalitätsresolution in Beweisen zur Unerfüllbarkeit  + (Bachelor)
• 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)