Michael Fisher  Home/Search
Context Related
| csc.liv.ac.uk/~michael/ecai94lnai.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csc.liv.ac.uk/~michael/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set of logical rules in a particular form. This not only provides a logical specification of the agent, but also allows us to directly execute the rules in order to implement the agent's behaviour. Agents communicate with each other through a simple, and logically well-founded, broadcast communication mechanism. (Update)
Cited by: More
Programming Groups of Rational Agents - Michael Fisher Department (Correct)
From Simulated to Real Environments: How to use SeSAm.. - Klügl, Herrler.. (2003) (Correct)
UML for Behavior-Oriented Multi-Agent Simulations - Oechslein, Klügl, Herrler.. (2001) (Correct)
Active bibliography (related documents): More All
0.4: An Open Approach to Concurrent Theorem-Proving - Fisher (1997) (Correct)
0.3: A Survey of Concurrent METATEM - The Language and its Applications - Fisher (1994) (Correct)
0.3: Realising a Concurrent Object-Based Programming Model on.. - Fisher, Keane (Correct)
Similar documents based on text: More All
0.3: Distributed Problem-Solving as Concurrent Theorem Proving - Fisher, Wooldridge (1997) (Correct)
0.2: Flexible Agent Grouping In Executable Temporal Logic - Fisher, Kakoudakis (1999) (Correct)
0.2: A Logical Approach to Simulating Societies - Fisher, Wooldridge (Correct)
Related documents from co-citation: More All
7: Agent-oriented programming (context) - Shoham - 1993
7: Design of a Concurrent AgentOriented Language - Weerasooriya, Rao et al. - 1994
6: Modeling rational agents within a BDI-architecture - Rao, Georgeff - 1991
BibTeX entry: (Update)
Fisher M., Representing and Executing Agent-Based Systems, Proceedings of the ECAI'94 Workshop on Agent Theories, Architectures, and Languages, August 8-12, 1994, Amsterdam, The Netherlands. http://citeseer.ist.psu.edu/fisher94representing.html More
@inproceedings{ fisher95representing,
author = "M. Fisher",
title = "Representing and executing agent-based systems",
booktitle = "Intelligent Agents: Theories, Architectures, and Languages ({LNAI} Volume 890)",
publisher = "Springer-Verlag: Heidelberg, Germany",
editor = "M. Wooldridge and N. R. Jennings",
pages = "307--323",
year = "1995",
url = "citeseer.ist.psu.edu/fisher94representing.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
1097 Automatic Verification of Finite-State Concurrent Systems Us.. (context) - Clarke, Emerson et al. - 1986
673 Actors - A Model for Concurrent Computation in Distributed S.. (context) - Agha - 1986
453 Agent-Oriented Programming (context) - Shoham - 1993
361 Reliable Communication in the Presence of Failures (context) - Birman, Joseph - 1987
349 The Process Group Approach to Reliable Distributed Computing (context) - Birman - 1991
200 Data parallel algorithms (context) - Hillis, Steele - 1986
187 Ethernet: Distributed Packet Switching for Local Computer Ne.. (context) - Metcalfe, Boggs - 1976
98 A Message System Supporting Fault Tolerance (context) - Borg, Baumbach et al. - 1983
78 April --- agent process interaction language - McCabe, Clark
77 Temporal Logic Programming (context) - Abadi, Manna - 1989
71 A Really Abstract Concurrent Model and its Temporal Logic (context) - Barringer, Kuiper et al. - 1986
65 A Survey of Concurrent METATEM --- The Language and its Appl.. - Fisher - 1994
56 A Resolution Method for Temporal Logic - Fisher - 1991
34 A Framework for Distributed Problem Solving (context) - Smith - 1980
30 The PLACA Agent Programming Language (context) - Thomas
24 Design of a Concurrent Agent-Oriented Language - Weerasooriya, Rao et al.
23 Specifying and Verifying Distributed Intelligent Systems - Fisher, Wooldridge - 1993
13 Modelling Autonomous Agents and their Groups (context) - Maruichi, Ichikawa et al. - 1991
11 Incompleteness of First-Order Temporal Logic with Until (context) - Szalas, Holenderski - 1988
10 METATEM at Work: Modelling Reactive Systems Using Executable.. - Finger, Fisher et al. - 1993
7 Towards a Semantics for Concurrent METATEM - Fisher - 1995
7 A Logical Approach to the Representation of Societies of Age.. (context) - Fisher, Wooldridge - 1995
6 In this volume.) This article was processed using the L A T .. (context) - Wooldridge, Jennings et al.
3 The Connection Machine: A computer architecture based on cel.. (context) - Hillis - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csc.liv.ac.uk/~michael/papers.html): More
METATEM at Work: Modelling Reactive Systems Using.. - Finger, Fisher, Owens (1992) (Correct)
From the Past to the Future: Executing Temporal Logic Programs - Fisher, Owens (1992) (Correct)
A Model Checker for Linear Time Temporal Logic - Fisher (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC