Designing normative behaviour via landmarks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3913 LNAI, Issue , 2006, Pages 157-169

  Aldewereld, Huib ^a   Grossi, Davide ^a   Vázquez Salceda, Javier ^a   Dignum, Frank ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS;

LANDMARKS; NORMATIVE SPECIFICATION;

ARTIFICIAL INTELLIGENCE;

EID: 33746066422     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11775331_11     Document Type: Conference Paper

References (24)

1. H. Aldewereld, J. Vázquez-Salceda, F. Dignum, and J.-J.Ch. Meyer. Proving norm compliancy of protocols in electronic institutions. Technical Report UU-CS-2005-010, Institute of Information and Computing Sciences, Utrecht University, 2005.
2. A.R. Anderson. A reduction of deontic logic to alethic modal logic. Mind, 22:100-103, 1958.
3. G. Boella and L. Lesmo. Deliberative normative agents. In C. Dellarocas and R. Conte, editors, Workshop on Norms and Institutions in Multi-Agent Systems, pages 15-25. ACM-AAAI, ACM Press, 2000.
4. J. Broersen, F. Dignum, V. Dignum, and J.-J. Ch. Meyer. Designing a Deontic Logic of Deadlines. In 7th Int. Workshop on Deontic Logic in Computer Science (DEON'04), Portugal, May 2004.
5. C. Castelfranchi, F. Dignum, C. Jonker, and J. Treur. Deliberative Normative Agents: Principles and architecture. In Proc. of the 6th Int. Workshop on Agent Theories, Architectures, and Languages (ATAL-99), 1999.
6. E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2), 1986.
7. E.M. Clarke, O. Grumberg, and D. Long. Verification tools for finite-state concurrent systems. In A decade of concurrency, volume 803 of Lecture Notes in Computer Science, pages 124-175. Springer, 1993.
8. F. Dignum. Abstract norms arid electronic institutions. In Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA '02), Bologna, pages 93-104, 2002.
9. F. Dignum, J. Broersen, V. Dignum, and J.-J. Ch. Meyer. Meeting the Deadline: Why, When and How. In 3rd Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland, April 2004.
10. F. Dignum, D. Kinny, and L. Sonenberg. From Desires, Obligations and Norms to Goals. Cognitive Science Quarterly, 2(3-4):407-430, 2002.
11. F. Dignum and R. Kuiper. Combining dynamic deontic logic and temporal logic for the specification of deadlines. In R. Sprague Jr., editor, Proc. of 13th HICSS, 1997.
12. V. Dignum. A Model for Organizational Interaction. SIKS Dissertation Series, 2003.
13. V. Dignum, J.-J.Ch. Meyer, F. Dignum, and H. Weigand. Formal Specification of Interaction in Agent Societies. In 2nd Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland, Oct. 2002.
14. E.A. Emerson, Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, chapter 14, pages 996-1072. Elsevier Science, 1990.
15. D. Grossi, H. Aldewereld, J. Vázquez-Salceda, and F. Dignum. Ontological aspects of the implementation of norms in agent-based electronic institutions. Accepted for the 1st International Symposium on Normative Multiagent Systems (NorMAS2005), 2005.
16. D. Grossi and F. Dignum. From abstract to concrete norms in agent institutions. In M. G. Hinchey, J. L. Rash, W. F. Truszkowski, and et al., editors, Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Lecture Notes in Computer Science, pages 12-29. Springer-Verlag, April 2004.
17. D. Harel. Dynamic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, pages 497-604. Reidel, Dordrecht, 1984.
18. Sanjeev Kumar, Marcus J. Huber, Philip R. Cohen, and David McGee. Toward a formalism for conversation protocols using joint intention theory. Computational Intelligence, 18(2):174-228, 2002.
19. J.-J. Ch. Meyer and R.J. Wieringa. Deontic Logic in Computer Science: Normative Systems Specification. John Wiley and sons, 1991.
20. W. Teepe. New protocols for proving knowledge of arbitrary secrets while not giving them away. In Sieuwert van Otterloo, Peter McBurney, Wiebe van der Hoek, and Michael Wooldridge, editors, Proceedings of the 1st Knowledge and Games Workshop, pages 99-116, Liverpool, July 2004.
21. J. Vázquez-Salceda, H. Aldewereld, and F. Dignum. Implementing norms in multi-agent systems. In G. Lindemann, J. Denzinger, I.J. Timm, and R. Unland, editors, Multiagent System. Technologies, LNAI 3187, pages 313-327. Springer-Verlag, 2004.
22. J. Vázquez-Salceda, H. Aldewereld, and F. Dignum. Norms in multiagent systems: some implementation guidelines. In Second European Workshop on Multi-Agent Systems (EUMAS'04), Barcelona, December 2004.
23. J. Vázquez-Salceda, V. Dignum, and F. Dignum. Organizing multiagent systems. Technical report, Institute of Information and Computing Sciences, Utrecht University, 2004.
24. M. Wooldridge and P. Ciancarini. Agent-oriented software engineering. In S. K. Chang, editor, Handbook of Software Engineering and Knowledge Engineering, volume 1, pages 507-522. World Scientific Publishing Co., 2002.