TY - BOOK ID - 2528223 TI - Logic programming and automated reasoning. 5th international conference, LPAR'94, Kiev, Ukraine, july 1994. Proceedings PY - 1994 VL - 822 SN - 3540582169 0387582169 3540485732 PB - Berlin : Springer-Verlag, DB - UniCat KW - 681.3*D16 KW - Automatic theorem proving KW - -Logic programming KW - -681.3*F41 KW - 681.3*I23 KW - Computer programming KW - Automated theorem proving KW - Theorem proving, Automated KW - Theorem proving, Automatic KW - Artificial intelligence KW - Proof theory KW - Computerwetenschap--?*D16 KW - Congresses KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Logic programming KW - 681.3*F41 KW - Computer network architectures. KW - Computer science. KW - Information theory. KW - Artificial intelligence. KW - Computer System Implementation. KW - Programming Languages, Compilers, Interpreters. KW - Theory of Computation. 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 - Communication theory KW - Communication KW - Cybernetics KW - Informatics KW - Science KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture UR - https://www.unicat.be/uniCat?func=search&query=sysid:2528223 AB - This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR. This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application. ER -