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

• From Logic Programs to Iterated Function Systems  + (2003)
• Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs  + (2003)
• Towards Automated Symbolic Dynamic Programming  + (2003)

• Geometry and Axiomatics of Commonsense: Fragments  + (2004)
• Generalized Ultrametric Spaces in Quantitative Domain Theory  + (2004)
• Application of a Monocular Camera as a Motion Sensor for Mobile Robots  + (1. März 2004)
• The Design of Modal Proof Theories: the case of S5  + (20. Oktober 2004)
• Morphisms in Logic, Topology, and Formal Concept Analysis  + (1. Februar 2005)
• Extracting Logic Programs from Artificial Neural Networks  + (22. Februar 2005)
• Real-Time Structure from Motion Using Kalman Filtering  + (21. März 2005)
• Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping  + (31. Dezember 2005)
• Proof by Pointing and Selecting  + (2006)
• Neural-Symbolic Integration - Constructive Approaches  + (1. Januar 2006)
• Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.  + (24. Januar 2006)
• Concept Learning in Description Logics  + (12. September 2006)
• Predicting the Performance of Wireless Communication Networks  + (2007)
• Towards a Categorical Semantics for the Open Calculus of Constructions  + (13. März 2007)
• θ-subsumption algorithms  + (29. Oktober 2007)
• Hybrid Logic in the Calculus Structures  + (2008)
• Logic Programs and Three-Valued Consequence Operators  + (1. August 2009)
• Decidability of Reasoning under the Well-Founded Semantics  + (2010)
• Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben  + (2010)
• Memory Hierarchy Utilization of a SAT Solver  + (31. März 2010)
• An Integrative Approach to Object Recognition in VSLAM  + (15. September 2010)
• Improving SAT Solvers Using State-of-the-Art Techniques  + (15. Dezember 2010)
• Reaching Definability via Abduction  + (2011)
• Reasoning with Text Annotations  + (1. April 2011)
• Backdoors for SAT  + (1. Oktober 2011)
• Polynomial Reduction from PESP to SAT  + (21. Oktober 2011)
• Menschliches räumliches Schließen und Ansätze aus der Computational Logic  + (2014)
• Planning problems in Petri Nets and Fluent Calculus  + (4. April 2014)