Titlebook: Conceptual Structures: Knowledge Representations as Interlingua; 4th International Co Peter W. Eklund,Gerard Ellis,Graham Mann Conference p

清澈

Editing conceptual graphs,s and consistent editing of the linear form and its graphical correspondence. We discuss problems of formatting graphs and propose a formatting algorithm. Implementation details of the multiform editor for Conceptual Graphs and its integration of type hierarchies are presented.

爱社交

minimal

https://doi.org/10.1007/3-540-61534-2Algorithmische Linguistik; Fuzzy; Informationsabfrage; Konzeptuelle Graphen; Natruerlichsprachliche Vera

要塞

阻塞

anthropologist

愚蠢人

Yvan Saeys,Sven Degroeve,Yves Van de PeerIn this paper we investigate lattice homomorphism and in particular the embedding problem for lattices which is NP-complete. The use of lattice embedding in knowledge representation is showed by an example.

小卒

Graph drawing methods,Many structures in Information Technology can be modeled as graphs, and the success of the model depends on the appearance of the graph: a good drawing can be worth a thousand words, a poor drawing can confuse and obscure the model. This paper surveys recently developed methods for automatic graph drawing.

SOBER

Existential graphs and tense logic,In this paper it is argued that the founder of modern tense logic, A.N. Prior was very much inspired by the logic and philosophy of C.S. Peirce. It is also demonstrated how the most important tense logical systems of Prior, K., K. and K., can be reformulated in terms of the existential graphs invented by Peirce.

antiquated