Borrow it
Coverart for item
The Resource Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings, Bernhard Ganter, Guy W. Mineau (eds.)

Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings, Bernhard Ganter, Guy W. Mineau (eds.)

Work
Publication
Extent
xi, 568 pages
Contents
  • The Role of Conceptual Structure in Human Evolution / Keith Devlin
  • Concepts in Linguistics
  • Concepts in Natural Language / Gisela Harras
  • Patterns, Schemata, and Types
  • Author Support through Formalized Experience / Felix H. Gatzemeier
  • Conventions and Notations for Knowledge Representation and Retrieval / Philippe Martin
  • Ontology, Metadata, and Semiotics / John F. Sowa
  • Pragmatically Yours / Mary Keeler
  • Conceptual Modeling for Distributed Ontology Environments / Deborah L. McGuinness
  • Discovery of Class Relations in Exception Structured Knowledge Bases / Hendra Suryanto and Paul Compton
  • CGs Applications: Where Are We 7 Years after the First ICCS ? / Michel Chein and David Genest
  • The Engineering of a CG-Based System: Fundamental Issues / Guy W. Mineau
  • Conceptual Graphs, Metamodeling, and Notation of Concepts / Olivier Gerbe, Guy W. Mineau and Rudolf K. Keller
  • Knowledge Representation and Reasonings Based on Graph Homomorphism / Marie-Laure Mugnier
  • User Modeling Using Conceptual Graphs for Intelligent Agents / James F. Baldwin, Trevor P. Martin and Aimilia Tzanavari
  • Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View / Patrice Buche and Ollivier Haemmerle
  • The Extensional Semantics of the Conceptual Graph Formalism / Guy W. Mineau
  • Semantics of Attribute Relations in Conceptual Graphs / Pavel Kocura
  • Nested Concept Graphs and Triadic Power Context Families / Susanne Prediger
  • Negations in Simple Concept Graphs / Frithjof Dau
  • Extending the CG Model by Simulations / Jean-Francois Baget
  • Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis / Franz Baader and Ralf Molitor
  • On the Contextual Logic of Ordinal Data / Silke Polladt and Rudolf Wille
  • Boolean Concept Logic / Rudolf Wille
  • Lattices of Triadic Concept Graphs / Bernd Groh and Rudolf Wille
  • Formalizing Hypotheses with Concepts / Bernhard Ganter and Sergei O. Kuznetsov
  • Generalized Formal Concept Analysis / Laurent Chaudron and Nicolas Maille
  • A Logical Generalization of Formal Concept Analysis / Sebastien Ferre and Olivier Ridoux
  • On the Treatment of Incomplete Knowledge in Formal Concept Analysis / Peter Burmeister and Richard Holzer
  • Logic-Based Networks: Concept Graphs and Conceptual Structures / Peter W. Ekhund
  • Conceptual Knowledge Discovery and Data Analysis / Joachim Hereth, Gerd Stumme and Rudolf Wille / [et al.]
  • CEM
  • A Conceptual Email Manager / Richard Cole and Gerd Stumme
  • A Contextual-Logic Extension of TOSCANA / Peter Eklund, Bernd Groh and Gerd Stumme / [et al.]
  • A Conceptual Graph Model for W3C Resource Description Framework / Olivier Corby, Rose Dieng and Cedric Hebert
  • Computing with Conceptual Structures / Bernhard Ganter
  • Symmetry and the Computation of Conceptual Structures / Robert Levinson
  • An Introduction to SNePS 3 / Stuart C. Shapiro
  • Composition Norm Dynamics Calculation with Conceptual Graphs / Aldo de Moor
  • From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language / Adil Kabbaj and Martin Janta-Polczynski
  • A Cost-Bounded Algorithm to Control Events Generalization / Gael de Chalendar, Brigitte Grau and Olivier Ferret
Isbn
9783540678595
Instance
Label
Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings
Title
Conceptual structures
Title remainder
logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings
Statement of responsibility
Bernhard Ganter, Guy W. Mineau (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
LC call number
Q387.2
LC item number
.I58 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
International Conference on Conceptual Structures
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Ganter, Bernhard
  • Mineau, Guy W
Series statement
Lecture notes in computer science ; 1867. Lecture notes in artificial intelligence
http://library.link/vocab/subjectName
  • Conceptual structures (Information theory)
  • Graph theory
  • Logic diagrams
  • Knowledge representation (Information theory)
  • Natural language processing (Computer science)
  • calcul symbolique
  • logique
  • sémantique formelle
  • ontologie
  • linguistique informatique
  • modélisation conceptuelle
  • graphe conceptuel
  • Structures conceptuelles
  • Graphes, Théorie des
  • Logigrammes
  • Représentation des connaissances
  • Traitement automatique des langues naturelles
  • Conceptual structures (Information theory)
  • Graph theory
  • Knowledge representation (Information theory)
  • Logic diagrams
  • Natural language processing (Computer science)
  • Kunstmatige intelligentie
  • Représentation des connaissances
  • Graphes, Théorie des
  • Langage naturel, Traitement du (informatique)
Label
Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings, Bernhard Ganter, Guy W. Mineau (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
The Role of Conceptual Structure in Human Evolution / Keith Devlin -- Concepts in Linguistics -- Concepts in Natural Language / Gisela Harras -- Patterns, Schemata, and Types -- Author Support through Formalized Experience / Felix H. Gatzemeier -- Conventions and Notations for Knowledge Representation and Retrieval / Philippe Martin -- Ontology, Metadata, and Semiotics / John F. Sowa -- Pragmatically Yours / Mary Keeler -- Conceptual Modeling for Distributed Ontology Environments / Deborah L. McGuinness -- Discovery of Class Relations in Exception Structured Knowledge Bases / Hendra Suryanto and Paul Compton -- CGs Applications: Where Are We 7 Years after the First ICCS ? / Michel Chein and David Genest -- The Engineering of a CG-Based System: Fundamental Issues / Guy W. Mineau -- Conceptual Graphs, Metamodeling, and Notation of Concepts / Olivier Gerbe, Guy W. Mineau and Rudolf K. Keller -- Knowledge Representation and Reasonings Based on Graph Homomorphism / Marie-Laure Mugnier -- User Modeling Using Conceptual Graphs for Intelligent Agents / James F. Baldwin, Trevor P. Martin and Aimilia Tzanavari -- Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View / Patrice Buche and Ollivier Haemmerle -- The Extensional Semantics of the Conceptual Graph Formalism / Guy W. Mineau -- Semantics of Attribute Relations in Conceptual Graphs / Pavel Kocura -- Nested Concept Graphs and Triadic Power Context Families / Susanne Prediger -- Negations in Simple Concept Graphs / Frithjof Dau -- Extending the CG Model by Simulations / Jean-Francois Baget -- Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis / Franz Baader and Ralf Molitor -- On the Contextual Logic of Ordinal Data / Silke Polladt and Rudolf Wille -- Boolean Concept Logic / Rudolf Wille -- Lattices of Triadic Concept Graphs / Bernd Groh and Rudolf Wille -- Formalizing Hypotheses with Concepts / Bernhard Ganter and Sergei O. Kuznetsov -- Generalized Formal Concept Analysis / Laurent Chaudron and Nicolas Maille -- A Logical Generalization of Formal Concept Analysis / Sebastien Ferre and Olivier Ridoux -- On the Treatment of Incomplete Knowledge in Formal Concept Analysis / Peter Burmeister and Richard Holzer -- Logic-Based Networks: Concept Graphs and Conceptual Structures / Peter W. Ekhund -- Conceptual Knowledge Discovery and Data Analysis / Joachim Hereth, Gerd Stumme and Rudolf Wille / [et al.] -- CEM -- A Conceptual Email Manager / Richard Cole and Gerd Stumme -- A Contextual-Logic Extension of TOSCANA / Peter Eklund, Bernd Groh and Gerd Stumme / [et al.] -- A Conceptual Graph Model for W3C Resource Description Framework / Olivier Corby, Rose Dieng and Cedric Hebert -- Computing with Conceptual Structures / Bernhard Ganter -- Symmetry and the Computation of Conceptual Structures / Robert Levinson -- An Introduction to SNePS 3 / Stuart C. Shapiro -- Composition Norm Dynamics Calculation with Conceptual Graphs / Aldo de Moor -- From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language / Adil Kabbaj and Martin Janta-Polczynski -- A Cost-Bounded Algorithm to Control Events Generalization / Gael de Chalendar, Brigitte Grau and Olivier Ferret
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 568 pages
Isbn
9783540678595
Isbn Type
(softcover : alk. paper)
Lccn
00059556
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)44669701
  • (OCoLC)ocm44669701
Label
Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings, Bernhard Ganter, Guy W. Mineau (eds.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
The Role of Conceptual Structure in Human Evolution / Keith Devlin -- Concepts in Linguistics -- Concepts in Natural Language / Gisela Harras -- Patterns, Schemata, and Types -- Author Support through Formalized Experience / Felix H. Gatzemeier -- Conventions and Notations for Knowledge Representation and Retrieval / Philippe Martin -- Ontology, Metadata, and Semiotics / John F. Sowa -- Pragmatically Yours / Mary Keeler -- Conceptual Modeling for Distributed Ontology Environments / Deborah L. McGuinness -- Discovery of Class Relations in Exception Structured Knowledge Bases / Hendra Suryanto and Paul Compton -- CGs Applications: Where Are We 7 Years after the First ICCS ? / Michel Chein and David Genest -- The Engineering of a CG-Based System: Fundamental Issues / Guy W. Mineau -- Conceptual Graphs, Metamodeling, and Notation of Concepts / Olivier Gerbe, Guy W. Mineau and Rudolf K. Keller -- Knowledge Representation and Reasonings Based on Graph Homomorphism / Marie-Laure Mugnier -- User Modeling Using Conceptual Graphs for Intelligent Agents / James F. Baldwin, Trevor P. Martin and Aimilia Tzanavari -- Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View / Patrice Buche and Ollivier Haemmerle -- The Extensional Semantics of the Conceptual Graph Formalism / Guy W. Mineau -- Semantics of Attribute Relations in Conceptual Graphs / Pavel Kocura -- Nested Concept Graphs and Triadic Power Context Families / Susanne Prediger -- Negations in Simple Concept Graphs / Frithjof Dau -- Extending the CG Model by Simulations / Jean-Francois Baget -- Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis / Franz Baader and Ralf Molitor -- On the Contextual Logic of Ordinal Data / Silke Polladt and Rudolf Wille -- Boolean Concept Logic / Rudolf Wille -- Lattices of Triadic Concept Graphs / Bernd Groh and Rudolf Wille -- Formalizing Hypotheses with Concepts / Bernhard Ganter and Sergei O. Kuznetsov -- Generalized Formal Concept Analysis / Laurent Chaudron and Nicolas Maille -- A Logical Generalization of Formal Concept Analysis / Sebastien Ferre and Olivier Ridoux -- On the Treatment of Incomplete Knowledge in Formal Concept Analysis / Peter Burmeister and Richard Holzer -- Logic-Based Networks: Concept Graphs and Conceptual Structures / Peter W. Ekhund -- Conceptual Knowledge Discovery and Data Analysis / Joachim Hereth, Gerd Stumme and Rudolf Wille / [et al.] -- CEM -- A Conceptual Email Manager / Richard Cole and Gerd Stumme -- A Contextual-Logic Extension of TOSCANA / Peter Eklund, Bernd Groh and Gerd Stumme / [et al.] -- A Conceptual Graph Model for W3C Resource Description Framework / Olivier Corby, Rose Dieng and Cedric Hebert -- Computing with Conceptual Structures / Bernhard Ganter -- Symmetry and the Computation of Conceptual Structures / Robert Levinson -- An Introduction to SNePS 3 / Stuart C. Shapiro -- Composition Norm Dynamics Calculation with Conceptual Graphs / Aldo de Moor -- From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language / Adil Kabbaj and Martin Janta-Polczynski -- A Cost-Bounded Algorithm to Control Events Generalization / Gael de Chalendar, Brigitte Grau and Olivier Ferret
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 568 pages
Isbn
9783540678595
Isbn Type
(softcover : alk. paper)
Lccn
00059556
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)44669701
  • (OCoLC)ocm44669701

Subject

Genre

Member of

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784

Library Links

Zepheira Logo
Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by Boston University Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...