Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Latex: a document preparation system
Latex: a document preparation system
All I know: a study in autoepistemic logic
Artificial Intelligence
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
A model of information retrieval based on a terminological logic
SIGIR '93 Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval
International Journal of Man-Machine Studies
Isomorphisms of types: from &lgr;-calculus to information retrieval and language design
Isomorphisms of types: from &lgr;-calculus to information retrieval and language design
(invited paper) A new theoretical framework for information retrieval
Proceedings of the 9th annual international ACM SIGIR conference on Research and development in information retrieval
On the inference of configuration structures from source code
ICSE '94 Proceedings of the 16th international conference on Software engineering
Concept analysis—a new framework for program understanding
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Integrating content-based access mechanisms with hierarchical file systems
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Propositional belief base update and minimal change
Artificial Intelligence
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Logic and uncertainty in information retrieval
Lectures on information retrieval
Higher-Order Logic Programming
Proceedings of the Third International Conference on Logic Programming
Logical Scaling in Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
CEM - A Conceptual Email Manager
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
A Logical Generalization of Formal Concept Analysis
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
The Use of Associative Concepts in the Incremental Building of a Logical Context
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Learning of Simple Conceptual Graphs from Positive and Negative Examples
PKDD '99 Proceedings of the Third European Conference on Principles of Data Mining and Knowledge Discovery
A Framework for Developing Embeddable Customized Logics
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
TOSCANA - a Graphical Tool for Analyzing and Exploring Data
GD '94 Proceedings of the DIMACS International Workshop on Graph Drawing
LISFS: a logical information system as a file system
Proceedings of the 28th international conference on Software engineering
Proceedings of the 2006 international workshop on Mining software repositories
A Dichotomic Search Algorithm for Mining and Learning in Domain-Specific Logics
Fundamenta Informaticae - Advances in Mining Graphs, Trees and Sequences
Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Efficient Browsing and Update of Complex Data Based on the Decomposition of Contexts
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
The efficient computation of complete and concise substring scales with suffix trees
ICFCA'07 Proceedings of the 5th international conference on Formal concept analysis
A parameterized algorithm for exploring concept lattices
ICFCA'07 Proceedings of the 5th international conference on Formal concept analysis
A finite basis for the set of ƐL-implications holding in a finite model
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
Handling spatial relations in logical concept analysis to explore geographical data
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
An algorithm to find frequent concepts of a formal context with taxonomy
CLA'06 Proceedings of the 4th international conference on Concept lattices and their applications
Possibility theory and formal concept analysis: context decomposition and uncertainty handling
IPMU'10 Proceedings of the Computational intelligence for knowledge-based systems design, and 13th international conference on Information processing and management of uncertainty
A possibility theory-oriented discussion of conceptual pattern structures
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis
Partial orders and logical concept analysis to explore patterns extracted by data mining
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Conceptual navigation in RDF graphs with SPARQL-Like queries
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
On categorial grammars as logical information systems
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
Arbitrary relations in formal concept analysis and logical information systems
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Negation, opposition, and possibility in logical concept analysis
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Cubes of concepts: multi-dimensional exploration of multi-valued contexts
ICFCA'12 Proceedings of the 10th international conference on Formal Concept Analysis
A Dichotomic Search Algorithm for Mining and Learning in Domain-Specific Logics
Fundamenta Informaticae - Advances in Mining Graphs, Trees and Sequences
An interactive guidance process supporting consistent updates of RDFS graphs
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
Review: Formal Concept Analysis in knowledge processing: A survey on models and techniques
Expert Systems with Applications: An International Journal
A formal concept view of abstract argumentation
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Hi-index | 0.00 |
Logical information systems (LIS) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to maintain it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular logic. In fact, a logic plays in a LIS the role of a schema in databases. We present the principles of LIS, the constraints they impose on the expression of logics, and hints for their effective implementation.