skip to main content
10.1145/1031171.1031206acmconferencesArticle/Chapter ViewAbstractPublication PagescikmConference Proceedingsconference-collections
Article

An extended logic programming based multi-agent system formalization in mobile environments

Published: 13 November 2004 Publication History

Abstract

In this paper, we propose an extended logic programming based formalization for a multi-agent system in mobile environments. Such a system consists of a number of agents connected via wire or wireless communication channels. Our formalization is knowledge oriented and has declarative semantics inherited from extended logic programming. This model can be used to study the details of knowledge transaction in mobile environments.

References

[1]
Cardelli, L., A. Gordon, D., Mobile Ambients, Theoretical Computer Science, 240 (2000), 177--213.
[2]
Gelfond, M., and Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, 1991, pp. 365--385.
[3]
Lange D, Oshima M. Programming and Deploying Java Mobile Agents with Aglets. Addision-Wesley: Reading, MA, 1998.
[4]
Milojicic, D. Mobile Agent Applications, IEEE Concurrency, 1999, pp. 80--90.
[5]
Nemela, I., and Simons, P. Efficient implementation of the well-founded and stable model semantics. In Proceeding of the International Joint Conference and Symposium on Logic Programming, pp 289--303. MIT Press, 1996.
[6]
Wooldridge, M., An Introduction to Multiagent Systems, John Wiley & Sons, LTD, 2002.

Index Terms

  1. An extended logic programming based multi-agent system formalization in mobile environments

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    CIKM '04: Proceedings of the thirteenth ACM international conference on Information and knowledge management
    November 2004
    678 pages
    ISBN:1581138741
    DOI:10.1145/1031171
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 13 November 2004

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. extended logic programming
    2. mobile environments
    3. multi-agent system

    Qualifiers

    • Article

    Conference

    CIKM04
    Sponsor:
    CIKM04: Conference on Information and Knowledge Management
    November 8 - 13, 2004
    D.C., Washington, USA

    Acceptance Rates

    Overall Acceptance Rate 1,861 of 8,427 submissions, 22%

    Upcoming Conference

    CIKM '25

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 180
      Total Downloads
    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 20 Jan 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media