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

• Temporal Logics with Local Constraints  + (Claudia)
• Satisfiability of ECTL* with Constraints  + (Claudia)
• Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property  + (Claudia)
• Lazy model checking for recursive state machines  + (Clemens)
• Model Checking Probabilistic Systems Against Pushdown Specifications  + (Clemens)
• Probabilistic Model Checking for Energy Analysis in Software Product Lines  + (Clemens)
• Probabilistic Model Checking for Feature-oriented Systems  + (Clemens)
• Quantitative Analysis of Communication Scenarios  + (Clemens)
• Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs  + (Clemens)
• Compositional Feature-oriented Systems  + (Clemens)
• Breaking the Limits of Redundancy Systems Analysis  + (Clemens)
• Ontology-Mediated Probabilistic Model Checking  + (Clemens)
• Iterative Variable Reordering: Taming Huge System Families  + (Clemens)
• Reduction Methods on Error-Propagation Graphs for Quantitative Systems Reliability Analysis  + (Clemens)
• Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification  + (Clemens)
• Enhancing Probabilistic Model Checking with Ontologies  + (Clemens)
• Be lazy and don’t care: Faster CTL model checking for recursive state machines  + (Clemens)
• Supporting Ontology-Mediated Stream Reasoning with Model Checking  + (Clemens)
• Towards a Formal Account on Negative Latency  + (Clemens)
• Configuring BDD Compilation Techniques for Feature Models  + (Clemens)
• SROIQ Syntax Approximation by Using Nominal Schemas  + (Cong)
• Putting ABox Updates into Action  + (Conrad)
• Putting ABox Updates into Action  + (Conrad)
• Putting ABox Updates into Action  + (Conrad)
• Responsibility and verification: Importance value in temporal logics  + (Corto)
• The Combined Approach to Query Answering Beyond the OWL 2 Profiles  + (Cristina)
• Extending the Combined Approach Beyond Lightweight Description Logics  + (Cristina)
• Modeling and Querying Video Databases  + (Cyril)
• Modeling and Querying Video Data: A Hybrid Approach  + (Cyril)
• A Database Approach for Modeling and Querying Video Data  + (Cyril)
• ATL is Indeed ExpTime-complete  + (D.)

• A Model and Method to Terminologize Existing Domain Ontologies  + (Dagmar)
• A cross-lingual correcting and completive method for multilingual ontology labels  + (Dagmar)
• Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition  + (Dagmar)
• Breaking Down Finance – A Method of Concept Simplification by Identifying Movement Structures from the Image Schema PATH-Following  + (Dagmar)
• Business lexicography  + (Dagmar)
• Hashtag Processing for Enhanced Clustering of Tweets  + (Dagmar)
• Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language  + (Dagmar)
• Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL  + (Dagmar)
• Terminology Harmonization in Industry Classification Standards  + (Dagmar)
• Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts  + (Dagmar)
• Terminology-based patterns for natural language definitions in ontologies  + (Dagmar)
• Where do business students turn for help? An empirical study on dictionary use in foreign-language learning  + (Dagmar)

• Mining of EL-GCIs  + (Daniel)
• Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data  + (Daniel)
• Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis  + (Daniel)
• Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals  + (Daniel)
• Classifying Software Bug Reports Using Methods from Formal Concept Analysis  + (Daniel)
• On Confident GCIs of Finite Interpretations  + (Daniel)
• Exploration by Confidence  + (Daniel)
• Model Exploration by Confidence with Completely Specified Counterexamples  + (Daniel)
• A General Form of Attribute Exploration  + (Daniel)
• Reifying RDF: What Works Well With Wikidata?  + (Daniel)
• Exploring Faulty Data  + (Daniel)
• Experience Based Nonmonotonic Reasoning  + (Daniel)
• Context Orbifolds  + (Daniel)
• Learning Terminological Knowledge with High Confidence from Erroneous Data  + (Daniel)
• Some Experimental Results on Randomly Generating Formal Contexts  + (Daniel)
• A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set  + (Daniel)
• Decomposing Finite Closure Operators by Attribute Exploration  + (Daniel)
• Experimental Evaluation of General Concept Inclusions Learned from Textual Data  + (Daniel)
• Extracting Confident General Concept Inclusions from Finite Interpretations  + (Daniel)