99 search results - page 8 / 20 » Language Design Issues for Agents based on Linear Logic (Ext... |
ICTAC
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
FOIKS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
IJCAI
2001
13 years 9 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...