TY - BOOK ID - 2594228 TI - Extensions of logic programming : 5th international workshop, ELP 96, Leipzig, Germany, March 1996 (proceedings) AU - DYCKHOFF, Roy AU - HERRE, H. AU - SCHROEDER-HEISTER, P. PY - 1996 VL - 1050 *121 SN - 3540609830 354049751X PB - Berlin [etc.] : Springer-Verlag, DB - UniCat KW - Logic programming KW - Congresses KW - Computer science. KW - Computer network architectures. KW - Artificial intelligence. KW - Programming Languages, Compilers, Interpreters. KW - Computer System Implementation. KW - Artificial Intelligence. KW - Programming Techniques. KW - Mathematical Logic and Formal Languages. 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 - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - Informatics KW - Science UR - https://www.unicat.be/uniCat?func=search&query=sysid:2594228 AB - This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996. The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. ER -