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