416 search results - page 20 / 84 » A Programming Approach to the Design of Asynchronous Logic B... |
CLIMA
2004
13 years 9 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
ICLP
2004
Springer
14 years 1 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
— A novel power attack resistant cryptosystem is presented in this paper. Security in digital computing and communication is becoming increasingly important. Design techniques th...
PPDP
2001
Springer
14 years 5 days ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
WISES
2003
13 years 9 months ago
2003
— Ubiquitous computing provides services to users, according to their current situation. Interactions with such programs are as implicit as possible. We find among the applicati...