TY - BOOK ID - 1681802 TI - Processing declarative knowledge. International workshop PDK'91, Kaiserslautern, Germany, 1-3 July, 1991. Proceedings AU - Boley, H. AU - RICHTER, Michael PY - 1991 VL - vol 567 vol *61 SN - 354055033X 038755033X 3540466673 PB - Berlin ; New York, NY : Springer-Verlag, DB - UniCat KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Expert systems (Computer science) KW - -Artificial intelligence KW - -681.3*D2 KW - 681.3*I2 KW - 681.3*I23 KW - 681.3*I24 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 - Congresses KW - Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} KW - Artificial intelligence. AI KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (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*I2 Artificial intelligence. AI KW - 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} KW - Artificial intelligence KW - 681.3*D2 KW - Database management KW - Artificial intelligence. KW - Database management. KW - Computer science. KW - Artificial Intelligence. KW - Database Management. KW - Programming Techniques. KW - Informatics KW - Science KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management UR - https://www.unicat.be/uniCat?func=search&query=sysid:1681802 AB - This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Intelligence (DFKI) in cooperation with the Association for Logic Programming (ALP) and the Gesellschaft f}r Informatik (GI). Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. The workshop addressed such high-level representations and their efficient implementation required for declarative knowledge bases. Many of the papers treat representation methods, mainly concept languages, and many treat implementation methods, such as transformation techniques and WAM-like abstract machines. Several papers describe implemented knowledge-processing systems. The competition between procedural and declarative paradigms was discussed in a panel session, and position statements of the panelists are included in the volume. ER -