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
- Levan Uridia + (Uridia)
- Dmitrii V. Vinogradov + (Vinogradov)
- Andrei Voronkov + (Voronkov)
- Automated Reasoning Support for Process Models using Action Languages + (Vázquez Sandoval)
- Dirk Walther + (Walther)
- Christoph Weidenbach + (Weidenbach)
- Geometry and Axiomatics of Commonsense: Fragments + (Wendt)
- Towards a unified view of the hierarchy of logic program classes + (Wendt)
- Christoph Wernhard + (Wernhard)
- Bettina Weser + (Weser)
- Gregory R. Wheeler + (Wheeler)
- Patrick Wienhöft + (Wienhöft)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata + (Wild)
- Georg Wild + (Wild)
- Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing + (Winkler)
- Neural-Symbolic Integration - Constructive Approaches + (Witzel)
- Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach + (Witzel)
- Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen + (Wunderlich)
- Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen + (Wunderlich)
- Sylvia Wünsch + (Wünsch)
- Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods + (Yang)
- Ye Yuxin + (Yuxin)
- Benjamin Zarrieß + (Zarrieß)
- Gerson Zaverucha + (Zaverucha)
- Erik Zenker + (Zenker)
- Rui Zhang + (Zhang)
- Dongmo Zhang + (Zhang)
- Finite Herbrand Models for Monadic Clauses with Unary Function Symbols + (Zia)
- Robin Ziemek + (Ziemek)
- Kamerabasierte personenortung + (Zitzmann)
- Tingting Zou + (Zou)
- Philippe de Groote + (de Groote)
- Vergleich ausgewählter schneller Lernalgorithmen für Neuronale Netze + (von Rozycki)
