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

• Monadic Reasoning with Weak Completion Semantics  + (Ana Costa)
• Monadic Reasoning with Weak Completion Semantics  + (Ana Costa)

• A Layered Architecture for Robot Control Using the Fluent Calculus  + (Andreas Henschel)
• Neural-Symbolic Integration - Constructive Approaches  + (Andreas Witzel)
• Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach  + (Andreas Witzel)
• Iterative Ontology Update with Minimum Change  + (Aparna Saisree Thuluva)
• Hybrid Logic in the Calculus Structures  + (Armin Troy)
• First-Order Rule Learning Through a Pulsed Neural Network  + (Ashish Darbari)
• Navigation Approaches for Answer Sets  + (Asmaa Afeefi)
• Genetische Algorithmen und SAT-Probleme  + (Axel Grosmann)
• A Constructive Connectionist Approach Towards Continual Robot Learning  + (Axel Großmann)
• Logic Programs and Three-Valued Consequence Operators  + (Carroline Dewi Puspa Kencana Ramli)
• Vergleich ausgewählter schneller Lernalgorithmen für Neuronale Netze  + (Christian von Rozycki)
• Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben  + (Christoph Spallek)
• Untersuchung des einflusses von pixelunsicherheiten auf bundle-feature-parametrisierungen in der visuellen simultanen lokalisierung und kartenerstellung  + (Christoph Spallek)
• Grounded Circumscription in Description Logics  + (Efstathios Delivorias)
• Increasing the Robustness of SAT Solving with Machine Learning Techniques  + (Enrique Matos Alfonso)
• Reaching Definability via Abduction  + (Evgeny Sherkhonov)
• Planning problems in Petri Nets and Fluent Calculus  + (Ferdian Jovan)
• θ-subsumption algorithms  + (Georg Rammé)
• Visualisierung räumlich-zeitlicher Inhalte aus Wikidata  + (Georg Wild)
• Analyse und Implementierung der scf2 Argumentation Semantik  + (Guzel Khuziakhmetova)
• Bedingte und rekursive Aktionen im Fluent-Kalkül  + (Hans-Peter Störr)
• Aktionen, Bedingungen und Ressourcen  + (Helko Lehmann)
• Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme  + (Helko Lehmann)
• Automated Reasoning Support for Process Models using Action Languages  + (Itzel Vázquez Sandoval)
• An Integrative Approach to Object Recognition in VSLAM  + (Jan Funke)
• Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik  + (Javanshir Alammadli)
• On the Computation of Naive-based Argumentation Semantics  + (Javanshir Alammadli)
• Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping  + (Jeannette Bohg)
• Real-Time Structure from Motion Using Kalman Filtering  + (Jeannette Bohg)
• Concept Learning in Description Logics  + (Jens Lehmann)
• Extracting Logic Programs from Artificial Neural Networks  + (Jens Lehmann)
• Solving Angry Birds with Reinforcement Learning  + (Julius Gonsior)
• Proof by Pointing and Selecting  + (Junhyuk Cho)
• Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen  + (Jörg Wunderlich)
• Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen  + (Jörg Wunderlich)
• A Resource-Oriented Deductive Approach Towards Hierarchical Planning  + (Kerstin Eder)
• Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing  + (Konrad Winkler)
• Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband  + (Lars Beikirch)
• Indirekte Gewichtskorrekturverfahren für Neuronale Netze  + (Lars Beikirch)
• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (Lukas Gerlach)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Lukas Gerlach)
• Chase-Based Computation of Cores for Existential Rules  + (Lukas Gerlach)
• Solving Product Configuration Problems using Non-standard Reasoning Services  + (Lukas Schweizer)
• Backdoors for SAT  + (Marco Gario)
• Inkrementelle Fuzzy-Entscheidungsbäume  + (Marina Guetova)