Sciweavers

8766 search results - page 382 / 1754
» Functional logic programming
Sort
View
AO
2006
91views more  AO 2006»
15 years 3 months ago
Towards a standard taxonomy of artifact functions
: The aim of this paper is to provide a logically accurate and technologically sound taxonomy of artifact functions. To this end, I review one of the recent proposals of such taxon...
Pawel Garbacz
140
Voted
ATAL
2000
Springer
15 years 7 months ago
Agent Programming with Declarative Goals
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a li...
Koen V. Hindriks, Frank S. de Boer, Wiebe van der ...
153
Voted
JSS
2006
111views more  JSS 2006»
15 years 3 months ago
Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog
Web and peer-to-peer systems have emerged as popular areas in distributed computing, and their integrated usage permits the benefits of both to be exploited. While much work in th...
Seng Wai Loke
345
Voted

Book
1569views
17 years 3 months ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki
ICALP
2004
Springer
15 years 8 months ago
Nash Equilibria in Discrete Routing Games with Convex Latency Functions
Martin Gairing, Thomas Lücking, Marios Mavron...