Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)

• Xia Wu  + (Wu)

• 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)