概念结构:基础扩展Conceptual structures

分类: 图书,计算机/网络,人工智能,
作者: Harry S. Delugach 著
出 版 社: 湖南文艺出版社
出版时间: 2001-12-1字数:版次: 1页数: 376印刷时间: 2006/12/01开本:印次:纸张: 胶版纸I S B N : 9783540423447包装: 平装编辑推荐
LNBI is devoted to the publication of state-of-the-art research results in bio-informatics and computational biology, at a high level and in both printed and electronic versions - making use of the well-established LNCS publication machinery. As with the LNCS mother series, refereed proceedings and post- proceedings are at the core of LNBI, however, similar to the color cover sub- lines in LNCS, tutorials and state-of-the-art surveys are also invited for LNBI. Among the topics covered are:
Genomics;Molecular sequence analysis;Recognition of genes and regulatory elements;Molecular evolution;Protein structure;Gene expression;Gene networks;Combinatorial libraries and drug design;Computational proteomics.
内容简介
This book constitutes the refereed proceedings of the 9th International Conference on Conceptual Structures, ICCS 2001, held in Stanford, CA, USA in July/August 2001.The 26 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The book offers topical sections on language and knowledge structures, logical and mathematical foundations of conceptual structures, conceptual structures for data and knowledge bases, conceptual structures and meta-data, and algorithms and systems.
目录
Language and Knowledge Structures
A Peircean Ontology of Language
Word Graphs: The Third Set
Aspecto-Temporal Data and Lexical Representations in French within Simple Conceptual Graphs on the Basis of Semantico-Cognitive Schemes
Learning to Generate CGs from Domain Specific Sentences
Solving-Oriented and Domain-Oriented Knowledge Structures:Their Application to Debugging Problem Solving Activity
Logical and Mathematical Foundationsof Conceptual Structures
Concept Graphs and Predicate Logic
Generalized Quantifiers and Conceptual Graphs
Simple Semiconcept Graphs: A Boolean Logic Approach
Boolean Judgment Logic
Pattern Structures ana Their Projections
Formal Concept Analysis Methods for Dynamic Conceptual Graphs
Many-Valued Context Analysis Using Descriptions
Mathematical Support for Empirical Theory Building
Conceptual Structures for Data and Knowledge Bases
Searching for Objects and Properties with Logical Concept Analysis
Reverse Pivoting in Conceptual Information Systems
Refinement of Conceptual Graphs
Large-Scale Cooperatively-Built KBs
Conceptual Structures and Meta-data
Conceptual Graphs and Metamodeling
Making Virtual Communities Work: Matching Their Functionalities
Extension of RDFS Based on the CGs Formalisms
Algorithms and Systems
Building Cbncept (Galois) Lattices from Parts: Generalizing theIncremental Methods
A Term-Based Approach to Project Scheduling
Browsing Semi-structured Web Texts Using Formal Concept Analysis
Ossa - A Conceptual Modelling System for Virtual Realities
Uses, Improvements, and Extensions of Prolog+CG: Case Studies
An Application of the Process Mechanism to a Room Allocation ProblemUsing the pCG Language
Author Index