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

• 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)
• Morphisms in Logic, Topology, and Formal Concept Analysis  + (Markus Krötzsch)
• Generalized Ultrametric Spaces in Quantitative Domain Theory  + (Markus Krötzsch)
• Faktorisierung von natürlichen zahlen als sat-problem  + (Markus Napierkowski)
• Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator  + (Martin Pätzug)
• A Camera Sensor Model for Sensor Fusion  + (Matthias Fichtner)
• Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs  + (Matthias Knorr)
• Geometry and Axiomatics of Commonsense: Fragments  + (Matthias Wendt)
• Towards a unified view of the hierarchy of logic program classes  + (Matthias Wendt)
• Towards a Categorical Semantics for the Open Calculus of Constructions  + (Max Schäfer)
• Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods  + (Mei Yang)
• Kamerabasierte personenortung  + (Michael Zitzmann)
• Finite Herbrand Models for Monadic Clauses with Unary Function Symbols  + (Muhammad Zahid Zia)
• Decidability of Reasoning under the Well-Founded Semantics  + (Natalia Cherchago)
• Memory Hierarchy Utilization of a SAT Solver  + (Norbert Mantehy)