Compositional modelling of reflective agents

International Journal of Human Computer Studies

Volumn 50, Issue 5, 1999, Pages 407-431

  Brazier, Frances M T ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; HUMAN COMPUTER INTERACTION; KNOWLEDGE ACQUISITION;

REFLECTIVE AGENTS;

ARTIFICIAL INTELLIGENCE;

EID: 0032650986     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1999.0249     Document Type: Article

References (10)

1. ATTARDI G., SIMI M. Proofs in context. FRIBOURG L., TURINI F. Logic Program Synthesis and Transformation-Meta-Programming in Logic, Proceedings of the Fourth International Workshop on Meta-Programming in Logic, META'94. 883:1994;Springer, Berlin.
2. BRAZIER F. M. T., DUNIN KEPLICZ B. M., JENNINGS N. R., TREUR J. Formal specification of multiagent systems: a real world case. LESSER V. Proceedings of the 1st International Conference on Multi-Agent Systems, ICMAS-95. 1995;25-32 MIT Press, Cambridge.
3. BRAZIER F. M. T., DUNIN-KEPLICZ B. M., TREUR J., VERBRUGGE L. C. Modelling internal dynamic behaviour of BDI agents. CESTO A, SCHOBBES P. Y. Proceedings of the 3rd International Workshop on Formal Models of Agents, MODELAGE '97. 1998;21 Springer Verlag, Berlin.
4. BRAZIER F. M. T., JONKER C. M., TREUR J. Formalization of a cooperation model based on joint intentions. MULLER J. P., WOOLDRIDGE M. J., JENNINGS N. R. Intelligent Agents III, Proceedings of the 3rd International Workshop on Agent Theories, Architectures and Languages, ATAL '96. 1193:1997;141-155 Springer Verlag, Berlin.
5. CASTELFRANCHI C. Self-awareness: notes for a computational theory of intrapsychic social interaction. TRAUTTEUR G. Consciousness: Distinction and Reflection. 1995;55-80.
6. CIMATTI A., SERAFINI L. Multi-agent reasoning with belief contexts II: elaboration tolerance. LESSER V. Proceedings of the 1st International Conference on Multi-Agent systems, ICMAS-95. 1995;57-64 MIT Press, Cambridge.
7. HOEK W. VAN DER, CHR. MEYER J.-J., TREUR J. Formal semantics of temporal epistemic reflection. FRIBOURG L., TURINI F. Logic Program Synthesis and Transformation-Meta-Programming in Logic, Proceedings of the 4th International Workshop on Meta-Programming in Logic, META '94. 883:1994;332-352 Springer Verlag, Berlin.
8. MAES P., NARDI D. Meta-level Architectures and Reflection. 1988;Elsevier Science Publishers, Amsterdam.
9. WEYHRAUCH R. W. Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence. 13:1980;133-170.
10. WOOLDRIDGE M. J., JENNINGS N. R. Intelligent agents: theory and practice. Knowledge Engineering Review. 10:1995;115-152.