Suche mittels Attribut
Aus International Center for Computational Logic
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
- Fredo Erxleben + (Fredo)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata + (Georg)
- Georg Wild + (Georg)
- θ-subsumption algorithms + (Georg)
- Gerald Pfeifer + (Gerald)
- Gerson Zaverucha + (Gerson)
- Giorgio Levi + (Giorgio)
- Giuseppina Monterosso + (Giuseppina)
- Gregory R. Wheeler + (Gregory R.)
- Analyse und Implementierung der scf2 Argumentation Semantik + (Guzel)
- Hannes Straß + (Hannes)
- Bedingte und rekursive Aktionen im Fluent-Kalkül + (Hans-Peter)
- Aktionen, Bedingungen und Ressourcen + (Helko)
- Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme + (Helko)
- Hongkai Liu + (Hongkai)
- Horst Graupner + (Horst)
- Horst Reichel + (Horst)
- Huong Le Tranh + (Huong Le)
- Ilja Shmelkin + (Ilja)
- Ilkka Niemelä + (Ilkka)
- Irina Dragoste + (Irina)
- Automated Reasoning Support for Process Models using Action Languages + (Itzel)
- Jakob Piribauer + (Jakob)
- Jan Hladik + (Jan)
- Jan Otop + (Jan)
- An Integrative Approach to Object Recognition in VSLAM + (Jan)
- Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik + (Javanshir)
- On the Computation of Naive-based Argumentation Semantics + (Javanshir)
- Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping + (Jeannette)
- Real-Time Structure from Motion Using Kalman Filtering + (Jeannette)
- Jens Claßen + (Jens)
- Concept Learning in Description Logics + (Jens)
- Extracting Logic Programs from Artificial Neural Networks + (Jens)
- Jim Lipton + (Jim)
- Johannes Lehmann + (Johannes)
- Johannes K. Fichte + (Johannes K.)
- Jonas Karge + (Jonas)
- Julia Koppenhagen + (Julia)
- Julian Mendez + (Julian)
- Julius Gonsior + (Julius)
- Solving Angry Birds with Reinforcement Learning + (Julius)
- Proof by Pointing and Selecting + (Junhyuk)
- Jörg Siekmann + (Jörg)
- Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen + (Jörg)
- Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen + (Jörg)
- Karina Adler + (Karina)
- Kati Domann + (Kati)
- Katrin Heber + (Katrin)
- Kerstin Achtruth + (Kerstin)
- A Resource-Oriented Deductive Approach Towards Hierarchical Planning + (Kerstin)
- Knut Berling + (Knut)
- Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing + (Konrad)