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