5550 search results - page 647 / 1110 » Different Approaches to Proof Systems |
209
click to vote
SERP
2003
15 years 8 months ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...
169
click to vote
ICMAS
2000
15 years 8 months ago
2000
Withthe proliferationof software agents and smart hardware devices there is a growing realization that large-scale problems can be addressed by integration of such standalone syst...
184
click to vote
ICMAS
2000
15 years 8 months ago
2000
Safe exchange is a key issue in multiagent systems, especially in electronic transactions where nondelivery is a major problem. In this paper we present a unified framework for mo...
210
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
202
click to vote
AAMAS
2005
Springer
15 years 7 months ago
2005
Springer
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...