Suche mittels Attribut

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

• Proof by Pointing and Selecting  + (Junhyuk Cho)
• Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen  + (Jörg Wunderlich)
• Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen  + (Jörg Wunderlich)
• A Resource-Oriented Deductive Approach Towards Hierarchical Planning  + (Kerstin Eder)
• Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing  + (Konrad Winkler)
• Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband  + (Lars Beikirch)
• Indirekte Gewichtskorrekturverfahren für Neuronale Netze  + (Lars Beikirch)
• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (Lukas Gerlach)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Lukas Gerlach)
• Chase-Based Computation of Cores for Existential Rules  + (Lukas Gerlach)
• Solving Product Configuration Problems using Non-standard Reasoning Services  + (Lukas Schweizer)
• Backdoors for SAT  + (Marco Gario)
• Inkrementelle Fuzzy-Entscheidungsbäume  + (Marina Guetova)
• Morphisms in Logic, Topology, and Formal Concept Analysis  + (Markus Krötzsch)
• Generalized Ultrametric Spaces in Quantitative Domain Theory  + (Markus Krötzsch)
• Faktorisierung von natürlichen zahlen als sat-problem  + (Markus Napierkowski)
• Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator  + (Martin Pätzug)
• A Camera Sensor Model for Sensor Fusion  + (Matthias Fichtner)
• Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs  + (Matthias Knorr)
• Geometry and Axiomatics of Commonsense: Fragments  + (Matthias Wendt)
• Towards a unified view of the hierarchy of logic program classes  + (Matthias Wendt)
• Towards a Categorical Semantics for the Open Calculus of Constructions  + (Max Schäfer)
• Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods  + (Mei Yang)
• Kamerabasierte personenortung  + (Michael Zitzmann)
• Finite Herbrand Models for Monadic Clauses with Unary Function Symbols  + (Muhammad Zahid Zia)

• 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)
• From Logic Programs to Iterated Function Systems  + (Sebastian Bader)
• EnTS - a new Entropy-based Tree-indexing System  + (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)