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
- 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)
- Larry González + (Larry)
- Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband + (Lars)
- Indirekte Gewichtskorrekturverfahren für Neuronale Netze + (Lars)
- Levan Uridia + (Levan)
- Lidia Tendera + (Lidia)
- Lim Yohanes Stefanus + (Lim Yohanes)
- Long Cheng + (Long)
- Lucas Kahlert + (Lucas)
- Lucía Gómez Álvarez + (Lucía)
- Luisa Herrmann + (Luisa)
- Lukas Schweizer + (Lukas)
- Solving Product Configuration Problems using Non-standard Reasoning Services + (Lukas)
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules + (Lukas)
- Lukas Gerlach + (Lukas)
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (Lukas)
- Chase-Based Computation of Cores for Existential Rules + (Lukas)
- Lutz Strassburger + (Lutz)