TY - BOOK ID - 2643963 TI - Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings AU - Furbach, Ulrich. AU - Nerode, Anil. AU - LPNMR '97 PY - 1997 VL - 1265 *165 SN - 3540692495 3540632557 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Logic programming KW - Nonmonotonic reasoning KW - Computer Science KW - Engineering & Applied Sciences KW - Congresses KW - Non-monotonic reasoning KW - Computer science. KW - Architecture, Computer. KW - Software engineering. KW - Computer programming. KW - Mathematical logic. KW - Artificial intelligence. KW - Computer Science. KW - Artificial Intelligence (incl. Robotics). KW - Software Engineering/Programming and Operating Systems. KW - Computer System Implementation. KW - Mathematical Logic and Formal Languages. KW - Programming Techniques. 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 - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computer software engineering KW - Engineering KW - Architecture, Computer KW - Informatics KW - Science KW - Programming KW - Computer network architectures. KW - Artificial Intelligence. KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture UR - https://www.unicat.be/uniCat?func=search&query=sysid:2643963 AB - This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence. ER -