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

• Olga Skvortsova  + (Olga)
• Towards Automated Symbolic Dynamic Programming  + (Olga)
• Symbolic Dynamic Programming  + (Olga)
• Oliver Fernández Gil  + (Oliver)
• Paola Bruscoli  + (Paola)
• Pascal Hitzler  + (Pascal)
• Pascal Kettmann  + (Pascal)
• Patrick Koopmann  + (Patrick)
• Patrick Wienhöft  + (Patrick)
• Pavlos Marantidis  + (Pavlos)
• Pedro Barahona  + (Pedro)
• Peter Steinke  + (Peter)
• Peter Grigoriev  + (Peter)
• Polynomial Reduction from PESP to SAT  + (Peter)
• Using (Deep) Reinforcement Learning To Play Angry Birds  + (Peter)
• Petra Humann  + (Petra)
• Petros Kefalas  + (Petros)
• Philipp Hanisch  + (Philipp)
• Philippe de Groote  + (Philippe)
• The Design of Modal Proof Theories: the case of S5  + (Phiniki)
• Piotr Gorczyca  + (Piotr)
• Piotr Ostropolski-Nalewaja  + (Piotr)
• Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation  + (Piotr)
• Scheduling Complex Oral Exams in Answer Set Programming  + (Pratistha)
• Rafael Peñaloza Nyssen  + (Rafael)

• Rajab Aghamov  + (Rajab)

• Rajeev Goré  + (Rajeev)
• Visualisierung von Lösungen in Abstrakten Argumentation Frameworks  + (Rajwardhan)
• Ramona Behling  + (Ramona)
• Predicting the Performance of Wireless Communication Networks  + (Ran)
• Menschliches räumliches Schließen und Ansätze aus der Computational Logic  + (Raphael)
• Solving Angry Birds with Reinforcement Learning  + (Richard)
• Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics  + (Richard)
• Robert Hein  + (Robert)
• Learning in the context of a formal calculus for the boolean satisfiability problem.  + (Robert)
• Robin Ziemek  + (Robin)
• Romy Thieme  + (Romy)
• Roy Dyckhoff  + (Roy)
• Rui Zhang  + (Rui)
• Sandy Seifarth  + (Sandy)
• Sandy Seifarth  + (Sandy)
• Sarah Alice Gaggl  + (Sarah Alice)
• Sarah Alice Gaggl  + (Sarah Alice)
• Sascha Klüppelholz  + (Sascha)
• Satyadharma Tirtarasa  + (Satyadharma)
• Justifications under the Fixed-Domain Semantics  + (Satyadharma)
• Sebastian Rudolph  + (Sebastian)
• Sebastian Bader  + (Sebastian)
• From Logic Programs to Iterated Function Systems  + (Sebastian)
• EnTS - a new Entropy-based Tree-indexing System  + (Sebastian)
• Sebastian Philipp Brandt  + (Sebastian Philipp)