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

• 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  + (March 1, 2004)
• The Design of Modal Proof Theories: the case of S5  + (October 20, 2004)
• Morphisms in Logic, Topology, and Formal Concept Analysis  + (February 1, 2005)
• Extracting Logic Programs from Artificial Neural Networks  + (February 22, 2005)
• Real-Time Structure from Motion Using Kalman Filtering  + (March 21, 2005)
• Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping  + (December 31, 2005)
• Proof by Pointing and Selecting  + (2006)
• Neural-Symbolic Integration - Constructive Approaches  + (January 1, 2006)
• Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.  + (January 24, 2006)
• Concept Learning in Description Logics  + (September 12, 2006)
• Predicting the Performance of Wireless Communication Networks  + (2007)
• Towards a Categorical Semantics for the Open Calculus of Constructions  + (March 13, 2007)
• θ-subsumption algorithms  + (October 29, 2007)
• Hybrid Logic in the Calculus Structures  + (2008)
• Logic Programs and Three-Valued Consequence Operators  + (August 1, 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  + (March 31, 2010)
• An Integrative Approach to Object Recognition in VSLAM  + (September 15, 2010)
• Improving SAT Solvers Using State-of-the-Art Techniques  + (December 15, 2010)
• Reaching Definability via Abduction  + (2011)
• Reasoning with Text Annotations  + (April 1, 2011)
• Backdoors for SAT  + (October 1, 2011)
• Polynomial Reduction from PESP to SAT  + (October 21, 2011)
• Menschliches räumliches Schließen und Ansätze aus der Computational Logic  + (2014)
• Planning problems in Petri Nets and Fluent Calculus  + (April 4, 2014)