Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)