Suche mittels Attribut
Aus International Center for Computational Logic
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
- 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)