1.

Record Nr.

UNINA9910143883603321

Titolo

Conceptual Structures: Integration and Interfaces : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings / / edited by Uta Priss, Dan Corbett, Galia Angelova

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002

ISBN

3-540-45483-7

Edizione

[1st ed. 2002.]

Descrizione fisica

1 online resource (XI, 400 p.)

Collana

Lecture Notes in Artificial Intelligence ; ; 2393

Disciplina

003/.54

Soggetti

Artificial intelligence

Computer science—Mathematics

Mathematical logic

Algorithms

Artificial Intelligence

Discrete Mathematics in Computer Science

Mathematical Logic and Formal Languages

Algorithm Analysis and Problem Complexity

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references at the end of each chapters and index.

Nota di contenuto

Invited -- Conceptual Structures in Modern Information Retrieval -- Formal Concept Analysis on Its Way from Mathematics to Computer Science -- Data and Knowledge Structures -- A Linearly Complex Model for Knowledge Representation -- Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations -- Information Transfer across Simple Concept Graphs -- Relational Scaling and Databases -- Information Retrieval -- Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English -- Conceptual Graph Matching for Semantic Search -- Text Schema Mining Using Graphs and Formal Concept Analysis -- Text Mining at Detail Level Using Conceptual Graphs -- Natural Language -- Processing Negation in NL Interfaces to Knowledge Bases -- Automatic



Generation and Evaluation of Sentence Graphs out of Word Graphs -- CG Representations of Non-literal Expressions -- Ontology and Semantics -- A Peircean Ontology of Semantics -- Building Concept Lattices by Learning Concepts from RDF Graphs Annotating Web Documents -- The CG Formalism as an Ontolingua for Web-Oriented Representation Languages -- A Viewpoint Model for Cooperative Building of an Ontology -- Towards a Pragmatic Web -- A First Step toward the Knowledge Web: Interoperability Issues among Conceptual Graph Based Software Agents Part I -- Interfaces and Applications -- CGWorld - Architecture and Features -- Extending SNePSwD with Permissive Belief Revision -- On Teaching Conceptual Graphs -- Logical and Mathematical Foundations -- The Use of Associative Concepts in the Incremental Building of a Logical Context -- Modal Logic for Evaluating Formulas in Incomplete Contexts -- An Embedding of Existential Graphs into Concept Graphs with Negations -- Interpretation of Automata in Temporal Concept Analysis -- Associative and Formal Concepts -- Semiconcept Graphs with Variables -- Existential Concept Graphs of Power Context Families.