Coverart for item
The Resource Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 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 14-18, 2000 : proceedings, Bernhard Ganter, Guy W. Mineau (eds.)

Label
Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings
Title
Conceptual structures
Title remainder
logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings
Statement of responsibility
Bernhard Ganter, Guy W. Mineau (eds.)
Title variation
ICCS 2000
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
006.3/3
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
http://library.link/vocab/relatedWorkOrContributorName
  • Ganter, Bernhard
  • Mineau, Guy W
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
1867.
http://library.link/vocab/subjectName
  • Conceptual structures (Information theory)
  • Graph theory
  • Logic diagrams
  • Knowledge representation (Information theory)
  • Natural language processing (Computer science)
Label
Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings, Bernhard Ganter, Guy W. Mineau (eds.)
Instantiates
Publication
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
Control code
44669701
Dimensions
24 cm
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
Label
Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings, Bernhard Ganter, Guy W. Mineau (eds.)
Publication
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
Control code
44669701
Dimensions
24 cm
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

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...