Introduction to logical information systems

DOI10.1016/S0306-4573(03)00018-9zbMath1091.68119OpenAlexW2054879965MaRDI QIDQ1887684

O. Ridoux, S. Ferré

Publication date: 22 November 2004

Published in: Information Processing and Management (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0306-4573(03)00018-9

zbMATH Keywords

Information systemsInformation search and retrievalRepresentation languagesDeduction and theorem provingQuery formulation

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (11)

Formal Concept Analysis and Extensions for Complex Data Analytics ⋮ Conceptual Navigation in Large Knowledge Graphs ⋮ Lattices, closures systems and implication bases: a survey of structural aspects and algorithms ⋮ \(\mathcal{K}\)-formal concept analysis as linear algebra over idempotent semifields ⋮ A PARAMETERIZED ALGORITHM TO EXPLORE FORMAL CONTEXTS WITH A TAXONOMY ⋮ Abstract Concept Lattices ⋮ Generalized pattern extraction from concept lattices ⋮ A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model ⋮ Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data ⋮ Camelis: a logical information system to organise and browse a collection of documents ⋮ Towards a Navigation Paradigm for Triadic Concepts

This page was built for publication: Introduction to logical information systems