Titlebook: Conceptual Structures: Integration and Interfaces; 10th International C Uta Priss,Dan Corbett,Galia Angelova Conference proceedings 2002 Sp

Rankle

启发

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/235048.jpg

煞费苦心

Reservation

Towards a Gendered Political Economy review of this new orientation and analyzes why and how FCA and computer science attracted each other. It discusses FCA as a knowledge representation formalism using five knowledge representation principles provided by Davis, Shrobe, and Szolovits [.]. It then studies how and why mathematics-based

glacial

Towards a General Theory of Classifications relation graphs as an algebraic structure for representing relations and operations on relations in Contextual Logic of Relations. It is shown that each relation graph of a relation context family uniquely represents an extent of a relation described by a first order logic formula. In reverse, each

Fallibility

Daniel Parrochia,Pierre Neuvilleings between formal contexts, as defined by Barwise and Seligman, a formalization of information transfer between relational contexts is given. The mappings between relational contexts induce mappings between the standard concept graphs of the relational contexts which can finally be generalized to

充气球

MAZE

陶瓷

SEMI