Formal Approaches to Agent-Based Systems

Hinchey, Michael G.; Rash, James L.; Truszkowski, Walt; Rouff, Christopher; Gordon-Spears, Diana F.

doi:10.1007/3-540-45484-5

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2008

2018

Publication Types

Select...

Article3

Other1

Book1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 13 publications

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Agent Technology

Meyer

2008

Wiley Encyclopedia of Computer Science and Engineering

View full text Add to dashboard Cite

In this article, an overview of agent technology is given. First, the concept of an agent is explained in the introduction, and some characteristics that are often found in the literature are given. Next, the history of the field is outlined, starting with the philosophical background. Then the attempts to formalize the notion of an agent by means of formal logic are explained. Next, the proposals for realizing agents through agent architectures, agent‐oriented programming, and software engineering are describe. This section is followed by a description of newer developments, in which multiagent systems are emphasized. The article is concluded with sections on applications and developments.

show abstract