Search by property
From International Center for Computational Logic
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
- A General Form of Attribute Exploration +
- A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set +
- Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals +
- Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data +
- Beam Me Up! - LaTeX-Beamer For Those Who Already Know +
- Bisimulations, logics, and trace distributions for stochastic systems with rewards +
- Classifying Software Bug Reports Using Methods from Formal Concept Analysis +
- Composition of Stochastic Transition Systems Based on Spans and Couplings +
- Context Orbifolds +
- Decomposing Finite Closure Operators by Attribute Exploration +
- Experience Based Nonmonotonic Reasoning +
- Experimental Evaluation of General Concept Inclusions Learned from Textual Data +
- Exploration by Confidence +
- Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj +
- Exploring Faulty Data +
- Exploring Implications and General Concept Inclusions with High Confidence +
- Extracting Confident General Concept Inclusions from Finite Interpretations +
- General Concept Inclusions with High Confidence in Finite Interpretations +
- Learning Terminological Knowledge with High Confidence from Erroneous Data +
- Learning Terminological Knowledge with High Confidence from Erroneous Data +
- Mining of EL-GCIs +
- Model Exploration by Confidence with Completely Specified Counterexamples +
- On Confident GCIs of Finite Interpretations +
- Ratio and Weight Quantiles +
- Reifying RDF: What Works Well With Wikidata? +
- Some Experimental Results on Randomly Generating Formal Contexts +
- Stochastic transition systems: bisimulation, logic, and composition +
- Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis +
