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

• Mathematical Morphology Operators over Concept Lattices  + (Jamal)
• A fuzzy extension of explanatory relations based on mathematical morphology  + (Jamal)
• Image Schemas and Conceptual Dependency Primitives: A Comparison  + (Jamie)
• A bridge between decentralized and coordination control  + (Jan)
• Multilevel coordination control of modular DES  + (Jan)
• Supervisory control synthesis of discrete-event systems using a coordination scheme  + (Jan)
• On conditional decomposability  + (Jan)
• Coordination control of discrete-event systems revisited  + (Jan)
• Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions  + (Jan)
• A Note on Relative Observability in Coordination Control  + (Jan)
• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator  + (Jan)
• On Algorithms and Extensions of Coordination Control of Discrete-Event Systems  + (Jan)
• Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control  + (Jan)
• Supervisory Control of Distributed Discrete-Event Systems  + (Jan)
• Coordination Control of Distributed Discrete-Event Systems  + (Jan)
• Coordination Control of Distributed Discrete-Event Systems  + (Jan)
• Supervisory Control of Discrete-Event Systems  + (Jan)
• Implementing the n-ary Description Logic GF1-  + (Jan)
• Reasoning about Nominals with FaCT and RACER  + (Jan)
• PSPACE Automata for Description Logics  + (Jan)
• A Framework For Evaluating Visual SLAM  + (Jan)
• Multilevel Coordination Control of Partially Observed Modular DES  + (Jan)
• Relative Observability in Coordination Control  + (Jan)
• Distributed computation of supremal conditionally-controllable sublanguages  + (Jan)
• On a Distributed Computation of Supervisors in Modular Supervisory Control  + (Jan)
• Control of an Engineering-Structured Multilevel Discrete-Event System  + (Jan)
• Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication  + (Jan)
• Detecting Synonymous Properties by Shared Data-driven Definitions  + (Jan-Christoph)

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

• Determinacy of Real Conjunctive Queries. The Boolean Case  + (Jarosław)
• A Behavioral Characterization of Computational Systems  + (Javier Oscar)
• Walking the Complexity Lines for Generalized Guarded Existential Rules  + (Jean-François)
• Towards Farsighted Dependencies for Existential Rules  + (Jean-François)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (Jean-François)
• Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs  + (Jens)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Jens)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Jens)
• A Hardware/Software Stack for Heterogeneous Systems  + (Jeronimo)
• From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK  + (Jianmin)
• Implementing Default and Autoepistemic Logics via the Logic of GK  + (Jianmin)
• Evaluation of Extraction Techniques for Ontology Excerpts  + (Jieying)
• Compositional Synthesis and Most General Controllers  + (Joachim)
• Experiments with Deterministic $ømega$-Automata for Formulas of Linear temporal Logic  + (Joachim)
• Experiments with deterministic $ømega$-automata for formulas of linear temporal logic  + (Joachim)
• On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata  + (Joachim)
• Hierarchical Modeling and Formal Verification: An Industrial Case Study Using Reo and Vereofy  + (Joachim)
• Are Good-for-Games Automata Good for Probabilistic Model Checking?  + (Joachim)
• Compositional Construction of Most General Controllers  + (Joachim)
• Advances in Symbolic Probabilistic Model Checking with PRISM  + (Joachim)
• Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata  + (Joachim)
• Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement  + (Johanna)