Sciweavers

100 search results - page 13 / 20
» A Deduction System for Meaning Negotiation
Sort
View
ESCIENCE
2006
IEEE
14 years 4 months ago
Introducing Risk Management into the Grid
Service Level Agreements (SLAs) are explicit statements about all expectations and obligations in the business partnership between customers and providers. They have been introduc...
Karim Djemame, Iain Gourlay, James Padgett, Georg ...
HICSS
2006
IEEE
141views Biometrics» more  HICSS 2006»
14 years 4 months ago
An Ontology-Based Architecture for Knowledge Commerce
Inter-organizational knowledge networks and knowledge marketplaces have emerged in order to enable organizations to share or commercially exploit their knowledge outside narrow or...
Kostas Kafentzis, Panos Georgolios, Athanasios Bou...
APPINF
2003
13 years 11 months ago
Towards Modelling an Intelligent Calendar Agent with LUPS
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
Juan Carlos Acosta Guadarrama, Mauricio Javier Oso...
IJCAI
2003
13 years 11 months ago
Protocol Conformance for Logic-based Agents
An agent communication protocol specifies the “rules of encounter” governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negoti...
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Fran...
CIE
2008
Springer
14 years 11 days ago
Principal Typings for Explicit Substitutions Calculi
Having principal typings (for short PT) is an important property of type systems. This property guarantees the possibility of type deduction which means it is possible to develop a...
Daniel Lima Ventura, Mauricio Ayala-Rincón,...