Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Attribute exploration with background knowledge
Theoretical Computer Science
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Knowledge Spaces
Conceptual Graphs and Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
An Investigation of the Laws of Thought
An Investigation of the Laws of Thought
Mathematical Support for Empirical Theory Building
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Associative and Formal Concepts
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Formal Concept Analysis on Its Way from Mathematics to Computer Science
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Quo Vadis, CS? --- On the (non)-Impact of Conceptual Structures on the Semantic Web
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
On the isomorphism problem of concept algebras
Annals of Mathematics and Artificial Intelligence
Mathematics: presenting, reflecting, judging
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
Contextual logic and aristotle's syllogistic
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Formal concept analysis as mathematical theory of concepts and concept hierarchies
Formal Concept Analysis
Semiconcept and protoconcept algebras: the basic theorems
Formal Concept Analysis
From formal concept analysis to contextual logic
Formal Concept Analysis
Contextual attribute logic of many-valued attributes
Formal Concept Analysis
Treating incomplete knowledge in formal concept analysis
Formal Concept Analysis
Semantology: basic methods for knowledge representations
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Formal concept analysis constrained by attribute-dependency formulas
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
Methods of conceptual knowledge processing
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
A note on negation: a PCS-Completion of semilattices
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Computing Implications with Negation from a Formal Context
Fundamenta Informaticae - Concept Lattices and Their Applications
| Hi-index | 0.02 |
Contextual Attribute Logic is part of Contextual Concept Logic. It may be considered as a contextual version of the Boolean Logic of Signs and Classes. In this paper we survey basic notions and results of a Contextual Attribute Logic. Main themes are the clause logic and the implication logic of formal contexts. For algorithmically computing bases of those logics, a common theory of cumulated clauses is presented.