TY - BOOK ID - 17318802 TI - Functional and Logic Programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings AU - Kameyama, Yukiyoshi. AU - Stuckey, Peter J. AU - Fuji International Symposium on Functional and Logic Programming PY - 2004 VL - 2998 SN - 03029743 SN - 354021402X 9783540214021 9786610308033 1280308036 3540247548 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Functional programming (Computer science) KW - Logic programming KW - Computer science. KW - Computer programming. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Artificial intelligence. KW - Computer Science. KW - Programming Techniques. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Artificial Intelligence (incl. Robotics). KW - Logic design. KW - Artificial Intelligence. 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 - Informatics KW - Science 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 - Electronic data processing KW - Logic machines KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Programming KW - Functional programming (Computer science) - Congresses KW - Logic programming - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:17318802 AB - This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7–9, 2004 at the New Public Hall, Nara. FLOPS is a forum for research on all issues concerning functional programming and logic programming. In particular it aims to stimulate the cross-fertilization as well as the integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999),Tokyo(2001)and Aizu (2002). The proceedings of FLOPS 1999,FLOPS 2001 and FLOPS 2002 were published by Springer-Verlag in the Lecture Notes in Computer Science series, as volumes 1722, 2024 and 2441, respectively. In response to the call for papers, 55 papers were submitted by authors from 1 Australia (1), Austria (1), Canada (1), China (4), Denmark (2), Estonia ( ), 2 1 1 France (3 ), Germany (4 ), Italy (1), Japan (15), the Netherlands (1), Oman 2 4 1 1 (1), Portugal ( ), Singapore (2), Spain (8), UK (3), and USA (6 ). Each paper 2 4 was reviewed by at least three program committee members with the help of expert external reviewers. The program committee meeting was conducted electronically for a period of 2 weeks in December 2003. After careful and thorough discussion, the program committee selected 18 papers (33%) for presentation at the conference. In addition to the 18 contributed papers, the symposium included talks by three invited speakers: Masami Hagiya (University of Tokyo), Carsten Schur ¨ mann (Yale University), and Peter Selinger (University of Ottawa). ER -