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  + (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)