Wyniki wyszukiwania:

As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as artificial intelligence, computational logic, and programming languages various relational and functional ingredients and techniques have been tried for the synthesis of declarative programs.
This text considers the notions of relations, as found in logic programming or in relational databases, and of functions, as found in functional programming or in equational languages. We study a declarative...

This volume presents the proceedings of an internationalworkshop on the processing of declarative knowledge. Theworkshop was organized and hosted by the German ResearchCenter for Artificial Intelligence (DFKI) in cooperationwith the Association for Logic Programming (ALP) and theGesellschaft f}r Informatik (GI).Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, andrelated formalisms. The workshop addressed such high-levelrepresentations and their efficient implementation requiredfor declarative knowledge bases. Many of the papers...