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

• Analyse und Implementierung der scf2 Argumentation Semantik  + (Guzel Khuziakhmetova)
• Bedingte und rekursive Aktionen im Fluent-Kalkül  + (Hans-Peter Störr)
• Aktionen, Bedingungen und Ressourcen  + (Helko Lehmann)
• Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme  + (Helko Lehmann)
• Automated Reasoning Support for Process Models using Action Languages  + (Itzel Vázquez Sandoval)
• An Integrative Approach to Object Recognition in VSLAM  + (Jan Funke)
• Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik  + (Javanshir Alammadli)
• On the Computation of Naive-based Argumentation Semantics  + (Javanshir Alammadli)
• Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping  + (Jeannette Bohg)
• Real-Time Structure from Motion Using Kalman Filtering  + (Jeannette Bohg)
• Concept Learning in Description Logics  + (Jens Lehmann)
• Extracting Logic Programs from Artificial Neural Networks  + (Jens Lehmann)
• Solving Angry Birds with Reinforcement Learning  + (Julius Gonsior)
• 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)