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
- Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik +
- EnTS - a new Entropy-based Tree-indexing System +
- Indirekte Gewichtskorrekturverfahren für Neuronale Netze +
- Big Data in SAT Solving - Heuristiken von Beweisen lernen +
- Real-Time Structure from Motion Using Kalman Filtering +
- Monadic Reasoning with Weak Completion Semantics +
- Monadic Reasoning with Weak Completion Semantics +
- Combining A1 and AC1 Unification +
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules +
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies +
- Solving Angry Birds with Reinforcement Learning +
- Genetische Algorithmen und SAT-Probleme +
- Polynomial Reduction from PESP to SAT +
- Using (Deep) Reinforcement Learning To Play Angry Birds +
- Implementierung des Dekompositionsschemas für Abstract Dialectical Frameworks +
- Scheduling Complex Oral Exams in Answer Set Programming +
- Kardinalitätsresolution in Beweisen zur Unerfüllbarkeit +
- Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs +
- Generalized Ultrametric Spaces in Quantitative Domain Theory +
- Visualisierung von Lösungen in Abstrakten Argumentation Frameworks +
- Solving Angry Birds with Reinforcement Learning +
- Extracting Logic Programs from Artificial Neural Networks +
- Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme +
- Lösen des Stundenplanproblems mit SAT +
- Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern +
- Memory Hierarchy Utilization of a SAT Solver +
- Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach. +
- Metamodellierung in der Formalen Begriffsanalyse +
- Intertranslatability of Labeling-Based Argumentation Semantics +
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics +
- Faktorisierung von natürlichen zahlen als sat-problem +
- Human reasoning and abduction +
- Position estimation of a mobile robot using a single vehicle-mounted camera +
- Präprozessortechniken für Pseudo-Boolean-Constraints +
- A revised evaluation framework for region of interest detectors using artificial 3d-scenes +
- A revised evaluation framework for region of interest detectors using artificial 3d-scenes +
- Solving Product Configuration Problems using Non-standard Reasoning Services +
- Konstruktion eines massiv parallelen Planers auf der Grundlage von AC +
- Symbolic Dynamic Programming +
- Untersuchung des einflusses von pixelunsicherheiten auf bundle-feature-parametrisierungen in der visuellen simultanen lokalisierung und kartenerstellung +
- Learning in the context of a formal calculus for the boolean satisfiability problem. +
- Verbinden von Suchabstraktionen zur echten Suche +
- Vergleich von Strategien zur Behandlung von Inkonsistenz in Beschreibungslogiken +
- Verifizierte SAT-basierte Entscheidungsprozeduren +
- Vorverarbeitung für Pseudo Boolean Probleme +
- Towards a unified view of the hierarchy of logic program classes +
- Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing +
- Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach +
- Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen +
- Kamerabasierte personenortung +
