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

• An open architecture for multiple case retrieval methods  + (An open architecture for multiple case retrieval methods)
• Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens  + (Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens)
• Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory  + (Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory)
• Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory  + (Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory)
• Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory  + (Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory)
• Anforderungen an die FABEL-Sprache  + (Anforderungen an die FABEL-Sprache)
• Anomaly-Driven Concept Acquisition  + (Anomaly-Driven Concept Acquisition)
• Anschlus̈bericht über das Verbundvorhaben FABEL  + (Anschlus̈bericht über das Verbundvorhaben FABEL)
• Answer Set Navigation: Probleme Besser Verstehen  + (Answer Set Navigation: Probleme Besser Verstehen)
• Science of Computational Logic  + (Answer Set Programming)
• Answer Set Programming and Clasp (INFOCOM-6)  + (Answer Set Programming and Clasp (INFOCOM-6))
• Deduction Systems  + (Answer Set Programming – Basics)
• Deduction Systems  + (Answer Set Programming – Solving (1/2))
• Deduction Systems  + (Answer Set Programming – Solving (2/2))
• Seminar Logic-Based Knowledge Representation  + (Answer Set Solving)
• Seminar: Logical Modelling  + (Answer-Set Prgramming and Tools)
• Seminar: Logical Modelling  + (Answer-Set Programmin II)
• Logical Modelling  + (Answer-Set Programming)
• Answer-Set Programming Encodings for Argumentation Frameworks  + (Answer-Set Programming Encodings for Argumentation Frameworks)
• Answer-Set Programming Encodings for Argumentation Frameworks  + (Answer-Set Programming Encodings for Argumentation Frameworks)
• Seminar: Logical Modelling  + (Answer-Set Programming I)
• Answer-set programming encodings for argumentation frameworks  + (Answer-set programming encodings for argumentation frameworks)
• Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract  + (Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract)
• Answering EL Queries in the Presence of Preferences  + (Answering EL Queries in the Presence of Preferences)
• Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies  + (Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies)

• Answering Instance Queries Relaxed by Concept Similarity  + (Answering Instance Queries Relaxed by Concept Similarity)

• Answering Queries with Negation over Existential Rules  + (Answering Queries with Negation over Existential Rules)
• Answering conjunctive queries in the SHIQ description logic  + (Answering conjunctive queries in the SHIQ description logic)
• Answering conjunctive queries in the SHIQ description logic  + (Answering conjunctive queries in the SHIQ description logic)
• Application Patterns of Projection/Forgetting  + (Application Patterns of Projection/Forgetting)
• Application Patterns of Projection/Forgetting  + (Application Patterns of Projection/Forgetting)
• Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT  + (Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT)
• Applications of ASP in Formal Argumentation  + (Applications of ASP in Formal Argumentation)
• Applying Formal Concept Analysis to Description Logics  + (Applying Formal Concept Analysis to Description Logics)
• Applying Triadic FCA in Studying Web Usage Behaviors  + (Applying Triadic FCA in Studying Web Usage Behaviors)
• Finite and algorithmic model theory (22/23)  + (Applying compactness: Preservation theorems.)
• Approximate Computation of Exact Association Rules  + (Approximate Computation of Exact Association Rules)
• Approximate OWL Instance Retrieval with Screech  + (Approximate OWL Instance Retrieval with Screech)
• Approximate OWL-Reasoning with SCREECH  + (Approximate OWL-Reasoning with SCREECH)
• Approximate OWL-Reasoning with Screech  + (Approximate OWL-Reasoning with Screech)
• Approximate Symbolic Model Checking of Continuous-Time Markov Chains  + (Approximate Symbolic Model Checking of Continuous-Time Markov Chains)
• Approximated Determinisation of Weighted Tree Automata  + (Approximated Determinisation of Weighted Tree Automata)
• Approximating ALCN-Concept Descriptions  + (Approximating ALCN-Concept Descriptions)
• Approximating Operators and Semantics for Abstract Dialectical Frameworks  + (Approximating Operators and Semantics for Abstract Dialectical Frameworks)
• Approximating Operators and Semantics for Abstract Dialectical Frameworks  + (Approximating Operators and Semantics for Abstract Dialectical Frameworks)
• Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas  + (Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas)
• Approximating the Semantics of Logic Programs by Recurrent Neural Networks  + (Approximating the Semantics of Logic Programs by Recurrent Neural Networks)
• Advanced Topics in Complexity Theory  + (Approximation Algorithms)
• Advanced Topics in Complexity Theory  + (Approximation Algorithms / Approximation and Complexity)
• Foundations of Knowledge Representation  + (Approximation Fixpoint Theory)
• Foundations of Knowledge Representation  + (Approximation Fixpoint Theory)