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
- 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)
- EnTS - a new Entropy-based Tree-indexing System + (Sebastian)
- From Logic Programs to Iterated Function Systems + (Sebastian)
- Sebastian Bader + (Sebastian)
- Sebastian Rudolph + (Sebastian)
- Sebastian Philipp Brandt + (Sebastian Philipp)
- Sergei Obiedkov + (Sergei)
- Sergei Kuznetsov + (Sergei)
- Sergei Obiedkov + (Sergei)
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata + (Serghei)
- Shasha Feng + (Shasha)
- Shima Asaadi + (Shima)
- Sibylle Möhle + (Sibylle)
- Simon Knäuer + (Simon)
- Simon Meusel + (Simon)
- Simon Razniewski + (Simon)
- Stefan Borgwardt + (Stefan)
- Stefan Ellmauthaler + (Stefan)
- Stephan Böhme + (Stephan)
- A revised evaluation framework for region of interest detectors using artificial 3d-scenes + (Stephan)
- A revised evaluation framework for region of interest detectors using artificial 3d-scenes + (Stephan)
- Stephan Mennicke + (Stephan)
- Reasoning with Text Annotations + (Sudeep)
- Sylvia Wünsch + (Sylvia)
- Sylvia Kötteritzsch + (Sylvia)
- Taufiq Hidayat + (Taufiq)
- Theofilos Mailis + (Theofilos)
- Thomas Hinze + (Thomas)