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 Database Approach for Modeling and Querying Video Data  + (DecleirHacid+-ICDE-99.ps.gz)
• A Database Approach for Modeling and Querying Video Data  + (DecleirHacid+-LTCS-99-03.ps.gz)
• Decomposing Finite Closure Operators by Attribute Exploration  + (Decomposing.pdf)
• Deduction Systems  + (Deduction-Systems-2018-V01-DL-Intro.pdf)
• Deduction Systems  + (Deduction-Systems-2018-V02-Tableau1.pdf)
• Deduction Systems  + (Deduction-Systems-2018-V03-Tableau2.pdf)
• Deduction Systems  + (Deduction-Systems-2018-V04-Optimizations.pdf)
• Deduction Systems  + (Deduction-Systems-2018-V05-ASP-Intro.pdf)
• Deduction Systems  + (Deduction-Systems-2018-V06-ASP-Solving.pdf)
• Deduction Systems  + (Deduction-Systems-2018-V06-ASP-Solving.pdf)
• Revisiting Grounded Circumscription in Description Logics  + (Delivorias-Rudolph-RR2016.pdf)
• Automata-Theoretic Decision Procedures for Information Logics  + (DemriSattler-FI02.ps.gz)
• Foundations of Knowledge Representation  + (Description Logic - Problems 2.pdf)
• Foundations of Knowledge Representation  + (Description Logic - Problems.pdf)
• Foundations of Knowledge Representation  + (Description Logic - Problems1.pdf)
• Foundations of Knowledge Representation  + (Description Logic - Problems2.pdf)
• Foundations of Knowledge Representation  + (Description Logic - Problems23.pdf)
• Descriptional Complexity of Generalized Forbidding Grammars  + (Descriptional Complexity of Generalized Forbidding Grammars.pdf)
• Descriptional Complexity of Grammars Regulated by Context Conditions  + (Descriptional Complexity of Grammars Regulated by Context Conditions.pdf)
• Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvemen  + (Descriptional Complexity of Three-Nonterminal Scattered Context Grammars An Improvemen.pdf)
• Descriptional complexity of multi-parallel grammars  + (Descriptional complexity of multi-parallel grammars.pdf)
• Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations  + (DiAtBl-ECAI14.pdf)
• Concept Dissimilarity with Triangle Inequality  + (DiAtBl-KR14.pdf)
• A Computational Logic Approach to the Suppression Task  + (Diezt:12:CoSi.pdf)
• Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation  + (Diller2021 Chapter FlexibleDisputeDerivationsWith.pdf)

• The Fuzzy Linguistic Description Logic ALC_FL  + (Dinhkhac:06:wv02.pdf)

• First-Order Rule Learning Through a Pulsed Neural Network  + (Diplom ashish.ps.gz)
• A Constructive Connectionist Approach Towards Continual Robot Learning  + (Diplom axel.ps.gz)
• From Logic Programs to Iterated Function Systems  + (Diplom bader.ps.gz)
• Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping  + (Diplom bohg.pdf)
• A Camera Sensor Model for Sensor Fusion  + (Diplom fichtner.ps.gz)
• An Integrative Approach to Object Recognition in VSLAM  + (Diplom funke.pdf)
• Inkrementelle Fuzzy-Entscheidungsbäume  + (Diplom guetova.ps.gz)
• Bedingte und rekursive Aktionen im Fluent-Kalkül  + (Diplom haps.ps.gz)
• Aktionen, Bedingungen und Ressourcen  + (Diplom helko.ps.gz)
• A Layered Architecture for Robot Control Using the Fluent Calculus  + (Diplom henschel.ps.gz)
• Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen  + (Diplom joerg.ps.gz)
• A Resource-Oriented Deductive Approach Towards Hierarchical Planning  + (Diplom kerstin.ps.gz)
• Concept Learning in Description Logics  + (Diplom lehmann.pdf)
• Improving SAT Solvers Using State-of-the-Art Techniques  + (Diplom manthey.pdf)
• Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator  + (Diplom martin.ps.gz)
• Application of a Monocular Camera as a Motion Sensor for Mobile Robots  + (Diplom pietzsch.pdf)
• Towards Automated Symbolic Dynamic Programming  + (Diplom skvortsova.ps.gz)
• The Design of Modal Proof Theories: the case of S5  + (Diplom stouppa.pdf)
• Rekursiver Autoassoziativer Speicher und Holographisch Reduzierte Repräsentation  + (Diplom torsten.ps.gz)
• Neural-Symbolic Integration - Constructive Approaches  + (Diplom witzel.pdf)
• Ein massiv paralleles Berechnungsmodell für normale logische Programme  + (Diplom yve.ps.gz)
• Morphisms in Logic, Topology, and Formal Concept Analysis  + (DiplomKroetzsch.pdf)
• Reliance-Based Optimization of Existential Rule Reasoning  + (DiplomaThesis-Alex-Ivliev.pdf)
• Optimierung des logischen Schließens mit existentiellen Regeln durch die Analyse von Abhängigkeiten  + (DiplomaThesis-Alex-Ivliev.pdf)
• Chase-Based Computation of Cores for Existential Rules  + (Diplomarbeit-Lukas-Gerlach-without-declaration-of-authorship.pdf)