A multi-agent system for mobile environments

Authors:
Jianwen Chen;Yan Zhang
Affiliations:
IBM Australia, North Sydney, NSW, Australia and School of Computing & IT, University of Western Sydney, Penrith South DC NSW, Australia;School of Computing & IT, University of Western Sydney, Penrith South DC NSW, Australia
Venue:
Intelligent information processing II
Year:
2004

Citing 14
Cited 0

A calculus of mobile processes, II

Information and Computation
Mobile ambients

Theoretical Computer Science
Mobile Computing

Mobile Computing
Programming and Deploying Java Mobile Agents Aglets

Programming and Deploying Java Mobile Agents Aglets
Introduction to Multiagent Systems

Introduction to Multiagent Systems
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Types for the ambient calculus

Information and Computation - IFIP TCS2000
Mobile Agent Applications

IEEE Concurrency
A Deductive System for Non-Monotonic Reasoning

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
XSB: A System for Effciently Computing WFS

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
KLAVA: a Java package for distributed and mobile applications

Software—Practice & Experience
Mobile Agent Messaging Models

ISADS '01 Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems
Mobile agent model for transaction processing on distributed objects

Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Introduction to multimedia and mobile agents
A Design for File Access in a Mobile Environment

WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present a framework/model for a logic programming multi-agent system in mobile environments. Such a system consists of a number of agents connected via wire or wireless communication channels, and we model the interactions between agents in our formalization. Our formalization is knowledge oriented with declarative semantics. Our model can be used to study the details of knowledge transaction in mobile environments.