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

• Unification of Concepts Terms in Description Logics  + (Unification of Concepts Terms in Description Logics)
• Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems  + (Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems)
• Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems  + (Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems)
• Unifikation und Reduktionssysteme für Halbgruppenvarietäten  + (Unifikation und Reduktionssysteme für Halbgruppenvarietäten)
• Uniform Interpolation for Expressive Description Logics  + (Uniform Interpolation for Expressive Description Logics)
• Uniform Interpolation for Expressive Description Logics  + (Uniform Interpolation for Expressive Description Logics)
• Uniform and Modular Sequent Systems for Description Logics  + (Uniform and Modular Sequent Systems for Description Logics)
• Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations  + (Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations)
• Unique Supported-Model Classes of Logic Programs  + (Unique Supported-Model Classes of Logic Programs)
• Universality Results for Spiking Neural P Systems with Cooperating Rules  + (Universality Results for Spiking Neural P Systems with Cooperating Rules)
• Universality Results for Spiking Neural P Systems with Cooperating Rules  + (Universality Results for Spiking Neural P Systems with Cooperating Rules)
• Universality Results for Spiking Neural P Systems with Cooperating Rules  + (Universality Results for Spiking Neural P Systems with Cooperating Rules)
• Universidade NOVA de Lisboa  + (Universidade NOVA de Lisboa)
• Universidade NOVA de Lisboa  + (Universidade NOVA de Lisboa)
• Universität Leipzig  + (Universität Leipzig)
• Universität Leipzig  + (Universität Leipzig)
• Universität des Saarlandes  + (Universität des Saarlandes)
• Universität des Saarlandes  + (Universität des Saarlandes)
• Uniwersytet Wrocławski  + (Uniwersytet Wrocławski)
• Uniwersytet Wrocławski  + (Uniwersytet Wrocławski)
• Untersuchung des einflusses von pixelunsicherheiten auf bundle-feature-parametrisierungen in der visuellen simultanen lokalisierung und kartenerstellung  + (Untersuchung des einflusses von pixelunsicherheiten auf bundle-feature-parametrisierungen in der visuellen simultanen lokalisierung und kartenerstellung)
• Untersuchung des einflusses von pixelunsicherheiten auf bundle-feature-parametrisierungen in der visuellen simultanen lokalisierung und kartenerstellung  + (Untersuchung des einflusses von pixelunsicherheiten auf bundle-feature-parametrisierungen in der visuellen simultanen lokalisierung und kartenerstellung)
• Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband  + (Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband)
• Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband  + (Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband)
• Updating Description Logic ABoxes  + (Updating Description Logic ABoxes)
• Updating Description Logic ABoxes  + (Updating Description Logic ABoxes)

• Ursula Hans  + (Ursula Hans)
• Ursula Hans  + (Ursula Hans)

• Usability Issues in Description Logic Knowledge Base Completion  + (Usability Issues in Description Logic Knowledge Base Completion)
• Useful Information  + (Useful Information)
• User Adaptation in a Web Shop System  + (User Adaptation in a Web Shop System)
• Using (Deep) Reinforcement Learning To Play Angry Birds  + (Using (Deep) Reinforcement Learning To Play Angry Birds)
• Using (Deep) Reinforcement Learning To Play Angry Birds  + (Using (Deep) Reinforcement Learning To Play Angry Birds)
• Using Automata Theory for Characterizing the Semantics of Terminological Cycles  + (Using Automata Theory for Characterizing the Semantics of Terminological Cycles)
• Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics  + (Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics)
• Using Connectionist Term Representations for First-Order-Deduction- A Critical View  + (Using Connectionist Term Representations for First-Order-Deduction- A Critical View)
• Using Datalog to Ground ASP Programs  + (Using Datalog to Ground ASP Programs)
• Using Datalog to Ground ASP Programs  + (Using Datalog to Ground ASP Programs)
• Using FCA for Encoding of Closure Operators into Neural Networks  + (Using FCA for Encoding of Closure Operators into Neural Networks)
• Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains  + (Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains)
• Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains  + (Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains)
• Using Non-standard Inferences in Description Logics — what does it buy me?  + (Using Non-standard Inferences in Description Logics — what does it buy me?)
• Using OWL DL Reasoning to decide about authorization in RBAC  + (Using OWL DL Reasoning to decide about authorization in RBAC)
• Using Ontologies to Query Probabilistic Numerical Data  + (Using Ontologies to Query Probabilistic Numerical Data)
• Using Ontologies to Query Probabilistic Numerical Data  + (Using Ontologies to Query Probabilistic Numerical Data)
• Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract)  + (Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract))
• Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information  + (Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information)
• Using Queries as Schema-Templates for Graph Databases  + (Using Queries as Schema-Templates for Graph Databases)
• Using Sums-of-Products for Non-standard Reasoning  + (Using Sums-of-Products for Non-standard Reasoning)
• Using Tableaux and Automata for Pinpointing in EL  + (Using Tableaux and Automata for Pinpointing in EL)
• Using lazy unfolding for the computation of least common subsumers  + (Using lazy unfolding for the computation of least common subsumers)
• Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies  + (Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies)