Sciweavers

2638 search results - page 228 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
EEE
2005
IEEE
16 years 6 days ago
DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
Grigoris Antoniou, Thomas Skylogiannis, Antonis Bi...
157
Voted
JNSM
2000
78views more  JNSM 2000»
15 years 6 months ago
A Framework and Lightweight Protocol for Multimedia Network Management
The increasing complexities of modern networks coupled with the popularity of multimedia applications have placed higher demands on network managers. This paper reviews the main r...
Jairo A. Gutiérrez, Don Sheridan, R. Radhak...
ISOLA
2004
Springer
15 years 12 months ago
EZPetri: A Petri net interchange framework for Eclipse based on PNML
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
Gabriel Alves, Adilson Arcoverde, Ricardo Massa Fe...
ATAL
1995
Springer
15 years 10 months ago
Formalising Motivational Attitudes of Agents
In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitu...
Bernd van Linder, Wiebe van der Hoek, John-Jules C...
ISMB
1998
15 years 8 months ago
BioSim: A New Qualitative Simulation Environment for Molecular Biology
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
Karsten R. Heidtke, Steffen Schulze-Kremer