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

• Rekurrente Neuronale Netze zur Approximation der Semantik akzeptabler logischer Programme  + (Kalinke)
• Using Connectionist Term Representations for First-Order-Deduction- A Critical View  + (Kalinke)
• Approximation der Funktion Tp normaler logischer Programme P durch 3-schichtige vorwärtsgerichtete Netze  + (Kalinke)
• Detecting Synonymous Properties by Shared Data-driven Definitions  + (Kalo)
• Mona as a DL Reasoner  + (Karabaev)
• FCPlanner: A Planning Strategy for First-Order MDPs  + (Karabaev)
• Efficient Symbolic Reasoning for First-Order MDPs  + (Karabaev)
• A Heuristic Search Algorithm for Solving First-Order MDPs  + (Karabaev)
• A Modified Supervaluationist Framework for Decision-Making  + (Karge)
• The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion  + (Karge)
• Second-order Confidence in Supervaluationism  + (Karge)
• Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem  + (Karge)
• To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence  + (Karge)
• Taming Dilation in Imprecise Pooling  + (Karge)
• Metric semantics for true concurrent real time  + (Katoen)
• The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies  + (Kazakov)
• Practical Reasoning with Nominals in the EL Family of Description Logics  + (Kazakov)
• ELK Reasoner: Architecture and Evaluation  + (Kazakov)
• Unchain My EL Reasoner  + (Kazakov)
• Concurrent Classification of EL Ontologies  + (Kazakov)
• Anomaly-Driven Concept Acquisition  + (Kennedy)
• A Conceptual Foundation for Autonomous Learning in Unforeseen Situations  + (Kennedy)
• Evolution of Self-Definition  + (Kennedy)
• UniMoK: A System for Combining Equational Unification Algorithms  + (Kepser)
• Optimisation Techniques for Combining Constraint Solvers  + (Kepser)
• Optimisation Techniques for Combining Constraint Solvers  + (Kepser)
• Finite Model Theory of the Triguarded Fragment and Related Logics  + (Kieroński)

• Knowledge-Based Support for Scholarly Editing and Text Processing  + (Kittelmann)
• Semantik, Linked Data, Web-Präsentation: Grundlagen der Nachlasserschließung im Portal www.pueckler-digital.de  + (Kittelmann)
• Semantik, Linked Data, Web-Präsentation: Grundlagen der Nachlasserschließung im Portal www.pueckler-digital.de  + (Kittelmann)
• Semantik, Web, Metadaten und digitale Edition: Grundlagen und Ziele der Erschließung neuer Quellen des Branitzer Pückler-Archivs  + (Kittelmann)
• Towards Knowledge-Based Assistance for Scholarly Editing  + (Kittelmann)

• SAT-Based Analysis and Quantification of Information Flow in Programs  + (Klebanov)
• Compositional Synthesis and Most General Controllers  + (Klein)
• Experiments with Deterministic $ømega$-Automata for Formulas of Linear temporal Logic  + (Klein)
• Experiments with deterministic $ømega$-automata for formulas of linear temporal logic  + (Klein)
• On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata  + (Klein)
• Hierarchical Modeling and Formal Verification: An Industrial Case Study Using Reo and Vereofy  + (Klein)
• Are Good-for-Games Automata Good for Probabilistic Model Checking?  + (Klein)
• Compositional Construction of Most General Controllers  + (Klein)
• Advances in Symbolic Probabilistic Model Checking with PRISM  + (Klein)
• Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata  + (Klein)
• Visualization of Statistical Information in Concept Lattice Diagrams  + (Klimpke)
• Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models  + (Klüppelholz)
• Symbolic model checking for channel-based component connectors  + (Klüppelholz)
• Alternating-Time Stream Logic for Multi-agent Systems  + (Klüppelholz)
• Symbolic model checking for channel-based component connectors  + (Klüppelholz)
• Alternating-time stream logic for multi-agent systems  + (Klüppelholz)
• Access restriction inside ontologies  + (Knechtel)
• Access rights and collaborative ontology integration for reuse across security domains  + (Knechtel)
• Semantische Integration und Wiederverwendung von Produktontologien für offene Marktplätze im Web  + (Knechtel)
• RBAC Authorization Decision with DL Reasoning  + (Knechtel)
• Using OWL DL Reasoning to decide about authorization in RBAC  + (Knechtel)
• Query-Based Access Control for Ontologies  + (Knechtel)
• A Generic Approach for Correcting Access Restrictions to a Consequence  + (Knechtel)