Wyniki wyszukiwania:

The 20 revised full papers presented in this book together with 4 section surveys were carefully reviewed and selected from the papers contributed to the 14th International Conference on Applications of Prolog, INAP 2001, held in Tokyo, Japan, in October 2002.

The papers are devoted to the four tightly interwoven aspects knowledge acquisition, knowledge management, knowledge processing, and knowledge distribution, all in the context of the World Wide Web; they are organized in topical sections on Web languages and logic, knowlege acquisition and knowledge representation, decision...

This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of...

Knowledge means power - but only if it is available at the right time, the right place, and in the hands of the right people. Structured, engineered, repeatable methodsto gather, transport, andapplyknowledgearecollectivelycalledkno- edge management. Declarative programming strives for the ideal of programming by wish: the user states what he or she wants, and the computer ?gures out how to achieve it. Thus, declarative programming splits into two separate parts: methods for humans on how to write wishes, and algorithms for computers that ful?l these wishes....