4266 search results - page 613 / 854 » A Framework for Defining Logics |
184
click to vote
IFIP12
2008
15 years 8 months ago
2008
We study the interplay between argumentation and belief revision within the MAS framework. When an agent uses an argument to persuade another one, he must consider not only the pro...
183
click to vote
NETWORKING
2008
15 years 8 months ago
2008
In the highly dynamic and unpredictable environment of MANETs, cross-layer design is receiving growing interest but lacks experimental validation tools. This paper presents XIAN (C...
177
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Wireless communication has attracted considerable interest in the research community, and many wireless networks are evaluated using discrete event simulators like OMNeT++. Althou...
127
click to vote
AIPS
2006
15 years 8 months ago
2006
We describe a domain-independent framework for plan summarization and comparison that can help a human understand both the key elements of an individual plan and important differe...
160
click to vote
APCCM
2006
15 years 8 months ago
2006
Current enterprise systems rely heavily on the modelling and enactment of business processes. One of the key criteria for a business process is to represent not just the behaviour...