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

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