3047 search results - page 265 / 610 » On the Meaning of Logical Completeness |
201
click to vote
CONCUR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
171
click to vote
SEMWEB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. After becoming a W3C Recommendation, OWL is becoming increasingly widely accepted and used. However most people still find it difficult to create and use OWL ontologies...
186
click to vote
ARGMAS
2004
Springer
16 years 1 months ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...
159
click to vote
DALT
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
201
click to vote
DEON
2004
Springer
16 years 1 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...