Search by property
From International Center for Computational Logic
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
- 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 +
