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

• Decidability of Reasoning under the Well-Founded Semantics  + (Natalia Cherchago)
• Memory Hierarchy Utilization of a SAT Solver  + (Norbert Mantehy)
• Improving SAT Solvers Using State-of-the-Art Techniques  + (Norbert Manthey)
• Towards Automated Symbolic Dynamic Programming  + (Olga Skvortsova)
• Symbolic Dynamic Programming  + (Olga Skvortsova)
• Polynomial Reduction from PESP to SAT  + (Peter Großmann)
• Using (Deep) Reinforcement Learning To Play Angry Birds  + (Peter Hirsch)
• The Design of Modal Proof Theories: the case of S5  + (Phiniki Stouppa)
• Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation  + (Piotr Gorczyca)
• Scheduling Complex Oral Exams in Answer Set Programming  + (Pratistha Kansakar)
• Visualisierung von Lösungen in Abstrakten Argumentation Frameworks  + (Rajwardhan Kumar)
• Predicting the Performance of Wireless Communication Networks  + (Ran Shao)
• Menschliches räumliches Schließen und Ansätze aus der Computational Logic  + (Raphael Höps)
• Solving Angry Birds with Reinforcement Learning  + (Richard Kwasnicki)
• Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics  + (Richard Mörbitz)
• Learning in the context of a formal calculus for the boolean satisfiability problem.  + (Robert Stelzmann)
• Justifications under the Fixed-Domain Semantics  + (Satyadharma Tirtarasa)

• EnTS - a new Entropy-based Tree-indexing System  + (Sebastian Bader)
• From Logic Programs to Iterated Function Systems  + (Sebastian Bader)

• Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata  + (Serghei Stratan)
• A revised evaluation framework for region of interest detectors using artificial 3d-scenes  + (Stephan Saalfeld)
• A revised evaluation framework for region of interest detectors using artificial 3d-scenes  + (Stephan Saalfeld)
• Reasoning with Text Annotations  + (Sudeep Ghimire)
• Präprozessortechniken für Pseudo-Boolean-Constraints  + (Timo Richter)
• Human reasoning and abduction  + (Tobias Philipp)
• Application of a Monocular Camera as a Motion Sensor for Mobile Robots  + (Tobias Pietzsch)
• Position estimation of a mobile robot using a single vehicle-mounted camera  + (Tobias Pietzsch)
• Rekursiver Autoassoziativer Speicher und Holographisch Reduzierte Repräsentation  + (Torsten Seiler)
• Konstruktion eines massiv parallelen Planers auf der Grundlage von AC  + (Torsten Seiler)
• Intertranslatability of Labeling-Based Argumentation Semantics  + (Umer Mushtaq)
• Encoding Belief Revision Operators in Abstract Dialectical Frameworks  + (Umer Mushtaq)
• Combining Belief Revision and Abstract Dialectical Frameworks  + (Umer Mushtaq)
• Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.  + (Valentin Mayer-Eichberger)
• Ein massiv paralleles Berechnungsmodell für normale logische Programme  + (Yvonne Kalinke)