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
- 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)
- 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)
- Knowledge-Based Support for Scholarly Editing and Text Processing + (Kittelmann)
- Towards Knowledge-Based Assistance for Scholarly Editing + (Kittelmann)
- Semantik, Linked Data, Web-Präsentation: Grundlagen der Nachlasserschließung im Portal www.pueckler-digital.de + (Kittelmann)
- SAT-Based Analysis and Quantification of Information Flow in Programs + (Klebanov)
- 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)
- Are Good-for-Games Automata Good for Probabilistic Model Checking? + (Klein)
- Compositional Construction of Most General Controllers + (Klein)
- 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)
- Hierarchical Modeling and Formal Verification: An Industrial Case Study Using Reo and Vereofy + (Klein)
- On-the-Fly Stuttering in the Construction of Deterministic $ømega$-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)
- Correcting Access Restrictions to a Consequence + (Knechtel)
- Recent Advances in Integrating OWL and Rules + (Knorr)
- A bridge between decentralized and coordination control + (Komenda)
- Multilevel coordination control of modular DES + (Komenda)
- Supervisory control synthesis of discrete-event systems using a coordination scheme + (Komenda)
- On conditional decomposability + (Komenda)
- Coordination control of discrete-event systems revisited + (Komenda)
- Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions + (Komenda)
