Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Logical Scaling in Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
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
Generalized Formal Concept Analysis
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Modal Logic for Evaluating Formulas in Incomplete Contexts
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Complete and Incomplete Knowledge in Logical Information Systems
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Framework for Developing Embeddable Customized Logics
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Tableau Calculus for Only Knowing and Knowing at Most
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Pattern Structures and Their Projections
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Introduction to logical information systems
Information Processing and Management: an International Journal
Autoepistemic description logics
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Treating incomplete knowledge in formal concept analysis
Formal Concept Analysis
A Logic Description on Different Negation Relation in Knowledge
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence
On the isomorphism problem of concept algebras
Annals of Mathematics and Artificial Intelligence
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume Part II
ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis
Fuzzy set with three kinds of negations and its applications in fuzzy decision making
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
AICI'12 Proceedings of the 4th international conference on Artificial Intelligence and Computational Intelligence
Fuzzy decision making based on fuzzy propositional logic with three kinds of negation
ICIC'13 Proceedings of the 9th international conference on Intelligent Computing Theories
Three kinds of negation of fuzzy knowledge and their base of logic
ICIC'13 Proceedings of the 9th international conference on Intelligent Computing Theories and Technology
Hi-index | 0.00 |
We introduce the epistemic extension, a logic transformation based on the modal logic AIK (All I Know) for use in the framework of Logical Concept Analysis (LCA). The aim is to allow for the distinction between negation, opposition, and possibility in a unique formalism. The difference between negation and opposition is examplified by the difference between “young/not young” and “young/old”. The difference between negation and possibility is examplified by the difference between “(certainly) not young” and “possibly not young”. Furthermore this epistemic extension entails no loss of genericity in LCA.