TY - BOOK ID - 9060046 TI - Grammatical Inference: Algorithms and Applications : 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings AU - Adriaans, Pieter. AU - Fernau, Henning. AU - Zaanen, Menno van. AU - International Colloquium on Grammatical Inference PY - 2002 SN - 3540457909 3540442391 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Formal languages KW - Logic, Symbolic and mathematical KW - Algebra KW - Mathematics KW - Physical Sciences & Mathematics KW - Computer science. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Mathematical logic. KW - Artificial intelligence. KW - Computational linguistics. KW - Computer Science. KW - Language Translation and Linguistics. KW - Programming Languages, Compilers, Interpreters. KW - Artificial Intelligence (incl. Robotics). KW - Mathematical Logic and Formal Languages. KW - Logics and Meanings of Programs. KW - Natural language processing (Computer science). KW - Logic design. KW - Natural Language Processing (NLP). KW - Artificial Intelligence. KW - Informatics KW - Science KW - NLP (Computer science) KW - Artificial intelligence KW - Electronic data processing KW - Human-computer interaction KW - Semantic computing KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Logic machines KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Computer science logic KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Natural language processing (Computer science) KW - Programming languages (Electronic computers) KW - Logic, Symbolic and mathematical. UR - https://www.unicat.be/uniCat?func=search&query=sysid:9060046 AB - The Sixth International Colloquium on Grammatical Inference (ICGI2002) was held in Amsterdam on September 23-25th, 2002. ICGI2002 was the sixth in a series of successful biennial international conferenceson the area of grammatical inference. Previous meetings were held in Essex, U.K.; Alicante, Spain; Mo- pellier, France; Ames, Iowa, USA; Lisbon, Portugal. This series of meetings seeks to provide a forum for the presentation and discussion of original research on all aspects of grammatical inference. Gr- matical inference, the process of inferring grammars from given data, is a ?eld that not only is challenging from a purely scienti?c standpoint but also ?nds many applications in real-world problems. Despite the fact that grammatical inference addresses problems in a re- tively narrow area, it uses techniques from many domains, and is positioned at the intersection of a number of di?erent disciplines. Researchers in grammatical inference come from ?elds as diverse as machine learning, theoretical computer science, computational linguistics, pattern recognition, and arti?cial neural n- works. From a practical standpoint, applications in areas like natural language - quisition, computational biology, structural pattern recognition, information - trieval, text processing, data compression and adaptive intelligent agents have either been demonstrated or proposed in the literature. The technical program included the presentation of 23 accepted papers (out of 41 submitted). Moreover, for the ?rst time a software presentation was or- nized at ICGI. Short descriptions of the corresponding software are included in these proceedings, too. ER -