Barbara Dunin Keplicz and Jan Treur University of Warsaw, Institute of...  Home/Search
Context
Related
| cs.vu.nl/~wai/Papers...KAW95.modag19.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: cs.vu.nl/~wai/Papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we base ourselves on the notion of a compositional architecture underlying the formal modelling language DESIRE (cf. [5], [6], [2]]). The executability of DESIRE specifications, (there exists a software environment to support this), leads not only to the completely specified behaviour, but also gives ability to carry out experiments with (alternative) behavioural patterns. The paper is organized as follows. In Section 2 we discuss the generic components of an agent that can be... (Update)
Similar documents (at the sentence level):
30.7%: Modelling Reasoning and Acting Agents - Dunin-Keplicz, Treur (1995) (Correct)
7.7%: Compositional Formal Specification of Multi-Agent Systems - Dunin-Keplicz, Treur (1995) (Correct)
Active bibliography (related documents): More All
0.3: Temporal Semantics of Compositional Task Models And .. - Brazier, Treur.. (1999) (Correct)
0.3: Formal Semantics of Temporal Epistemic Reflection - van der Hoek, Meyer, Treur (1994) (Correct)
0.2: Societies of Autonomous Agents and Their Reorganisation - Glaser, Morignot (1998) (Correct)
Similar documents based on text: More All
0.9: Modelling Internal Dynamic Behaviour of BDI Agents - Brazier, Dunin-Keplicz.. (1997) (Correct)
0.8: Modelling Distributed Industrial Processes in a.. - Brazier.. (1996) (Correct)
0.7: Formal Specification of Multi-Agent Systems: a.. - Brazier.. (1995) (Correct)
BibTeX entry: (Update)
@misc{ keplicz-modelling,
author = "Barbara Dunin Keplicz",
title = "Modelling Reasoning and Acting Agents",
url = "citeseer.ist.psu.edu/697414.html" }
Citations (may not include all citations):45 Formal Specification of Complex Reasoning Systems (context) - Treur - 1993
32 Towards a cooperation knowledge level for collaborative prob.. - Jennings - 1992
26 Formal specification of compositional architectures (context) - Langevelde, van and et al. - 1992
16 Temporal semantics of meta-level architectures for dynamic c.. (context) - Treur - 1994
14 A formal model for the dynamics of compositional reasoning s.. (context) - Gavrila, Treur - 1994
5 A scheme for agent collaboration in open multi-agent environ.. (context) - Osawa
4 the use of a formalized generic task model in knowledge acqu.. (context) - Kowalczyk, Treur - 1990
4 SAM: a model to design computational social agents (context) - Bouron, Collinot - 1992
3 Interaction types and chemistry of generic task models (context) - Treur - 1992
2 Designing compositional assumption revision (context) - Pannekeet, Philipsen - 1992
2 Distributed Artifical Intelligence (context) - Huhns - 1987
Documents on the same site (http://www.cs.vu.nl/~wai/Papers/): More
Integration of Behavioural Requirements.. - Herlea, Jonker.. (Correct)
Temporal Theories of Reasoning - Engelfriet, Treur (1995) (Correct)
Deliberative Normative Agents: Principles and.. - Castelfranchi, Dignum.. (1999) (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