Search Sciweavers | Sciweavers

5198 search results - page 59 / 1040

» A Logic of Agent Programs

116

Voted

ATAL
2011
Springer

186views Intelligent Agents» more ATAL 2011»

Agents that speak: modelling communicative plans and information sources in a logic of announcements

14 years 4 months ago

Download www.ifaamas.org

Philippe Balbiani, Nadine Guiraud, Andreas Herzig,...

claim paper

Read More »

157

Voted

SFM
2005
Springer

243views Formal Methods» more SFM 2005»

Hermes: Agent-Based Middleware for Mobile Computing

15 years 9 months ago

Download www.cs.unicam.it

Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...

Flavio Corradini, Emanuela Merelli

claim paper

Read More »

131

click to vote

JSS
2008

136views more JSS 2008»

Specification, decomposition and agent synthesis for situation-aware service-based systems

15 years 4 months ago

Download dpse.eas.asu.edu

Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...

Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...

claim paper

Read More »

104

Voted

AAAI
2008

125views Intelligent Agents» more AAAI 2008»

An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics

15 years 6 months ago

Download www.cert.fr

Austin Parker, Guillaume Infantes, V. S. Subrahman...

claim paper