M. d'Inverno, D. Kinny, M. Luck, and M. Wooldridge. A formal specification of dMARS. In M. Singh, A. Rao, and M. Wooldridge, editors, Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages, pages 155--176. Springer-Verlag LNAI 1365, 1998. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Linking Agent Concepts and Methodology with CAN - Winikoff, Harland, Padgham (Correct)
Simplifying the Development of Intelligent Agents - Winikoff, Padgham, Harland (2001) (4 citations) (Correct)
Flexible, Reusable Agents for Modelling Human Operators (Extended .. - Norling (Correct)
Agent-oriented Software Construction with UML - Bergenti, Poggi (2002) (1 citation) (Correct)
Formal Methods in Agent-Oriented Design and Analysis - Xu, Shatz (Correct)
Using Multi-Context Systems to Engineer Executable Agents - Sabater, Sierra, Parsons, .. (1999) (2 citations) (Correct)
Modeling Agents in a Logic Action Language - Baldoni, Giordano, Martelli.. (2000) (Correct)
JACK Intelligent Agents - Components for Intelligent.. - Busetta, Ronnquist.. (1999) (54 citations) (Correct)
Using Multi-Context Systems to Engineer Executable Agents - Sabater, Sierra, Parsons, .. (1999) (2 citations) (Correct)
Thinking Quickly: Agents for Modeling Air Warfare - Heinze, Smith, Cross (1998) (3 citations) (Correct)
Vivid Agents: Theory, Architecture, and Applications - Schroeder, Wagner (1998) (1 citation) (Correct)
Meta-Agent Programs - Dix, Subrahmanian, Pick (1999) (9 citations) (Correct)
Formal Agent Development: Framework to System - d'Inverno, Luck Self-citation (D'inverno Luck) (Correct)
Motivating Intelligent Agents for Virtual Environments - de Lioncourt, Luck (1999) Self-citation (Luck) (Correct)
A Framework for Norm-Based Inter-Agent Dependence - Lopez, Luck, d'Inverno (2001) (1 citation) Self-citation (D'inverno) (Correct)
Engineering AgentSpeak(L): A Formal Computational Model - d'Inverno, Luck (1998) (1 citation) Self-citation (D'inverno Luck) (Correct)
Architecture for Agent Programming Languages - Hindriks, d'Inverno, Luck (2000) Self-citation (D'inverno Luck) (Correct)
A Formal Architecture for the 3APL Agent Programming Language - d'Inverno, Hindriks, Luck Self-citation (D'inverno Luck) (Correct)
Plan Analysis for Autonomous Sociological Agents - Luck, d'Inverno (2000) (1 citation) Self-citation (D'inverno) (Correct)
A Conceptual Framework for Agent Definition and Development - Luck, d'Inverno (2001) (6 citations) Self-citation (D'inverno Luck) (Correct)
Towards a Layered Approach for Agent Infrastructure: The Right.. - Ashri, Luck Self-citation (Luck) (Correct)
Cooperative Plan Selection Through Trust - Griffiths, al (1999) (4 citations) Self-citation (Luck) (Correct)
Agent Systems and Applications - Aylett, Brazier, Jennings, Luck.. (1998) Self-citation (Luck) (Correct)
An Architecture for 3APL - Hindriks, d'Inverno, Luck Self-citation (D'inverno Luck) (Correct)
The Gaia Methodology for Agent-Oriented Analysis and Design - Wooldridge, Jennings, Kinny (2000) (158 citations) Self-citation (Kinny Wooldridge) (Correct)
First 50 documents
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