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

• A Heuristic Search Algorithm for Solving First-Order MDPs  + (13:07:38, 13 April 2015)
• Intellectics and Computational Logic  + (13:07:38, 13 April 2015)
• From the Calculus of Structures to Term Rewriting Systems  + (13:07:38, 13 April 2015)
• Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz  + (13:07:38, 13 April 2015)
• The Well-Founded Semantics is a Stratified Fitting Semantics  + (13:07:38, 13 April 2015)
• Convergence Classes and Spaces of Partial Functions  + (13:07:38, 13 April 2015)
• Computing First-Order Logic Programs by Fibring Artificial Neural Networks  + (13:07:38, 13 April 2015)
• BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract)  + (13:07:38, 13 April 2015)
• Logic Programs under Three-Valued Lukasiewicz Semantics  + (13:07:38, 13 April 2015)
• Properties vs. Resources: Solving Simple Frame Problems  + (13:07:38, 13 April 2015)
• Completing Incomplete Bayesian Networks  + (13:07:38, 13 April 2015)
• A Calculus of Order and Interaction  + (13:07:38, 13 April 2015)
• Robust mobile robot localisation from sparse and noisy proximity readings using Hough transform and probability grids  + (13:07:38, 13 April 2015)
• Proceedings of the First International Workshop on Semantic Technologies  + (13:07:38, 13 April 2015)
• Explicit and Implicit Indeterminism  + (13:07:38, 13 April 2015)
• Planar Features for Visual SLAM  + (13:07:38, 13 April 2015)
• FAENSY: Fabel Development System  + (13:07:38, 13 April 2015)
• Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks  + (13:07:38, 13 April 2015)
• MinitSAT  + (13:07:38, 13 April 2015)
• Datei:Satvorstellung-Forschungslinie-SS2015.pdf  + (15:46:14, 13 April 2015)
• Foundations of Semantic Web Technologies  + (12:40:21, 14 April 2015)
• Deduction Systems  + (12:46:40, 14 April 2015)
• Datei:PSSAI2015 L1.pdf  + (12:51:40, 14 April 2015)
• On the Decidability Status of Fuzzy ALC with General Concept Inclusions  + (18:54:13, 14 April 2015)
• Sibylle Möhle  + (11:42:36, 15 April 2015)

• Publikationen von Sibylle Möhle  + (11:42:37, 15 April 2015)

• Publications of Sibylle Möhle  + (11:42:38, 15 April 2015)
• Abschlussarbeiten betreut durch [[Sibylle Möhle]]  + (11:42:39, 15 April 2015)
• Abschlussarbeiten betreut durch [[Sibylle Möhle]]  + (11:42:39, 15 April 2015)
• Benutzer:Sibylle Möhle  + (11:44:19, 15 April 2015)
• Datei:DS-2015-L1-DL-Intro.pdf  + (16:17:36, 15 April 2015)
• Datei:FSWT-L1-Overview-and-XML.pdf  + (16:19:50, 15 April 2015)
• Datei:Anantavrasilp:07:01.pdf  + (05:23:11, 16 April 2015)
• Datei:Bader:04:02.pdf  + (05:23:14, 16 April 2015)
• Datei:Bader:04:wv05.pdf  + (05:23:15, 16 April 2015)
• Datei:Bader:05:01.pdf  + (05:23:17, 16 April 2015)
• Datei:Bader:05:03.pdf  + (05:23:18, 16 April 2015)
• Datei:Bader:05:04.pdf  + (05:23:20, 16 April 2015)
• Datei:Bader:06:01.pdf  + (05:23:21, 16 April 2015)
• Datei:Bader:06:02.pdf  + (05:23:22, 16 April 2015)
• Datei:Bader:07:01.pdf  + (05:23:24, 16 April 2015)
• Datei:Bader:07:02.pdf  + (05:23:25, 16 April 2015)
• Datei:Bohg:05:01.pdf  + (05:23:26, 16 April 2015)
• Datei:Bornscheuer:00:01.pdf  + (05:23:27, 16 April 2015)
• Datei:Bruennler:01:wv02.pdf  + (05:23:28, 16 April 2015)
• Datei:Bruennler:02:wv04.pdf  + (05:23:30, 16 April 2015)
• Datei:Bruennler:02:wv11.pdf  + (05:23:31, 16 April 2015)
• Datei:Bruennler:02:wv16.pdf  + (05:23:32, 16 April 2015)
• Datei:Bruennler:03:02.pdf  + (05:23:34, 16 April 2015)
• Datei:Bruennler:03:wv04.pdf  + (05:23:36, 16 April 2015)
• Datei:Bruennler:03:wv09.pdf  + (05:23:37, 16 April 2015)