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 +
- Classifying Software Bug Reports Using Methods from Formal Concept Analysis +
- 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 +
- Some Experimental Results on Randomly Generating Formal Contexts +
- Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis +