935 search results - page 106 / 187 » From Logic Programming Towards Multi-Agent Systems |
146
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
248
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
140
click to vote
AI
2007
Springer
15 years 4 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
144
click to vote
LOGCOM
2002
15 years 3 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
143
click to vote
ARCS
2007
Springer
15 years 10 months ago
2007
Springer
Sensor network technology is pushing towards integration into the business world. By using sensor node hardware to augment real life business items it is possible to capture the wo...