Argumentation for access control

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

Volumn 3673 LNAI, Issue , 2005, Pages 86-97

  Boella, Guido ^a   Hulstijn, Joris ^b   Van Der Torre, Leendert ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

^c DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT AGENTS; PLANNING; SOCIETIES AND INSTITUTIONS; VIRTUAL REALITY;

AMGOUD'S ARGUMENTATION; DUNG'S FRAMEWORK; VIRTUAL ORGANIZATIONS;

ARTIFICIAL INTELLIGENCE;

EID: 33646121286     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11558590_10     Document Type: Conference Paper

References (15)

1. L. Amgoud. A formal framework for handling conflicting desires. In Procs. of ECSQARU'03, LNCS 2711, pages 552-563. Springer, 2003.
2. L. Amgoud and C. Cayrol. On the use of an ATMS for handling conflicting desires. In Procs of KR'04. AAAI, 2004.
3. M. Blaze, J. Feigenbaum, and J. Lacy. Decentralized trust management. In IEEE Symposium on Security and Privacy, pages 164-173. IEEE, 1996.
4. P. Bonatti and P. Samarati. A uniform framework for regulating service access and information release on the web. Journal of Computer Security, 10(3):242-272, 2002.
5. P. M. Dung. On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77:321-357, 1995.
6. K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Semantics of communicating agents based on deduction and abduction. In Issues in Agent Communication, LNAI 1916, pages 63-79. Springer Verlag, 2000.
7. H. Koshutanski and F. Massacci. Interactive trust management and negotiation scheme. In Pros. of FAST'04 Workshop, pages 139-152. Kluwer, 2004.
8. H. Koshutanski and F. Massacci. A system for interactive authorization for business processes for web services. In Procs, of ICWE04, LNCS 3140, pages 521-525. Springer Verlag, 2004.
9. Robert A. Kowalski and Fariba Sadri. From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence, 25(3-4):391-419, 1999.
10. Kraus, S., Sycara, K., and Evenchik, A. Reaching agreements through argumentation: A logical model and implementation. Artificial Intelligence, 104(1-2):169, 1998.
11. A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-343, 1998.
12. Fariba Sadri and Francesca Toni. Abduction with negation as failure for active and reactive rules. In Procs. of AI*IA'99, volume LNCS 1792, pages 49-60. Springer Verlag, 2000.
13. Fariba Sadri, Francesca Toni, and Paolo Torroni. An abductive logic programming architecture for negotiating agents. In Procs. of JELIA'02, LNAI 2424, pages 419-431. Springer Verlag, 2002.
14. Murray Shanahan. Prediction is deduction but explanation is abduction. In Procs. IJCAI'89, pages 1055-1060. Morgan Kaufmann, 1989.
15. R. Thomason. Desires and defaults: A framework for planning with inferred goals. In Procs. of KR'00, pages 702-713, 2000.