Introduction to logical information systems

DOI10.1016/S0306-4573(03)00018-9MaRDI QIDQ1887684zbMATH OpenOpenAlexFDO

Authors S. Ferré, Olivier Ridoux

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

Deduction and theorem provingInformation search and retrievalInformation systemsQuery formulationRepresentation languages

Mathematics Subject Classification ID

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

Recommendations

• Logic Programming
• A Logic for Complete Information Systems
• scientific article; zbMATH DE number 3934437
• scientific article; zbMATH DE number 92609
• Logics for information systems and their dynamic extensions

Cited in

(18)

• Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
• \(\mathcal{K}\)-formal concept analysis as linear algebra over idempotent semifields
• Generalized pattern extraction from concept lattices
• Abstract concept lattices
• A PARAMETERIZED ALGORITHM TO EXPLORE FORMAL CONTEXTS WITH A TAXONOMY
• On categorial grammars as logical information systems
• Camelis: a logical information system to organise and browse a collection of documents
• scientific article; zbMATH DE number 1163477 (Why is no real title available?)
• scientific article; zbMATH DE number 912710 (Why is no real title available?)
• Formal Concept Analysis and Extensions for Complex Data Analytics
• Conceptual Navigation in Large Knowledge Graphs
• Logic Programming
• Towards a navigation paradigm for triadic concepts
• 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
• Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
• Representations of uncertainty in artificial intelligence: probability and possibility
• Formal concept analysis: from knowledge discovery to knowledge processing

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887684)