Sciweavers

348 search results - page 41 / 70
» Formal ontologies for communicating agents
Sort
View
CCGRID
2008
IEEE
14 years 11 months ago
Formal Verification of a Grid Resource Allocation Protocol
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
Mathias Dalheimer, Franz-Josef Pfreundt, Peter Mer...
ARGMAS
2005
Springer
15 years 3 months ago
Testing Formal Dialectic
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
Simon Wells, Chris Reed
FAABS
2004
Springer
15 years 2 months ago
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance
Abstract. The task addressed here is a dynamic search through a bounded region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and commu...
Wesley Kerr, Diana F. Spears, William M. Spears, D...
76
Voted
ACMICEC
2007
ACM
107views ECommerce» more  ACMICEC 2007»
15 years 1 months ago
Developing semantically interoperable e-commerce systems
This paper discusses semantic interoperability issues in agentbased E-commerce systems. The literature reports various techniques to enable agents to understand the meanings of th...
Jurriaan van Diggelen, Frank Dignum
AIED
2005
Springer
15 years 3 months ago
Towards support in building qualitative knowledge models
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
Vania Bessa Machado, Roland Groen, Bert Bredeweg