{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:00:51Z","timestamp":1725573651348},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540326168"},{"type":"electronic","value":"9783540326175"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11678823_3","type":"book-chapter","created":{"date-parts":[[2006,3,13]],"date-time":"2006-03-13T04:46:01Z","timestamp":1142225161000},"page":"41-56","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Self-control of Autonomous Agents"],"prefix":"10.1007","author":[{"given":"Caroline","family":"Chopinaud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amal","family":"El Fallah Seghrouchni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Taillibert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Barber, K.S., Martin, C.E.: Agent autonomy: Specification, measurement and dynamic adjustment. In: Proc. of the Autonomy Control Software workshop at Autonomous Agents, May 1999, pp. 8\u201315 (1999)"},{"key":"3_CR2","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"3_CR3","unstructured":"de Sousa Dias, M., Richardson, D.J.: Issues on software monitoring. Technical report, Department of Information and Computer Science, University of California (July 2002)"},{"issue":"12","key":"3_CR4","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.368136","volume":"20","author":"M. Diaz","year":"1994","unstructured":"Diaz, M., Juanole, G., Courtiat, J.-P.: Observer-a concept for formal on-line validation of distributed systems. IEEE Trans. Softw. Eng.\u00a020(12), 900\u2013913 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Feather, M.S., Fickas, S., van Lamsweerde, A., Ponsard, C.: Reconciling System Requirements and Runtime Behavior. In: Proceedings of IWSSD 1999, Isobe, Japan (1998)","DOI":"10.1109\/IWSSD.1998.667919"},{"key":"3_CR6","unstructured":"Huang, Y., Kintala, C.: Software fault tolerance in the application layer. In: Software Fault Tolerance (1995)"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"223","DOI":"10.3233\/FI-1999-38301","volume":"38","author":"R. Janicki","year":"1999","unstructured":"Janicki, R., Koutny, M.: On causality semantics of nets with priorities. Fundamenta Informaticae\u00a0(38), 223\u2013255 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"3_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-32260-3_6","volume-title":"Programming Multi-Agent Systems","author":"D.N. Lam","year":"2005","unstructured":"Lam, D.N., Barber, K.S.: Debugging agent behavior in an implemented agent system. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol.\u00a03346, pp. 104\u2013125. Springer, Heidelberg (2005)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Liao, Y., Cohen, D.: A specificational approach to high level program monitoring and measuring. IEEE Trans. Software Engineering\u00a018(11) (November 1992)","DOI":"10.1109\/32.177366"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Lumpp, J.E., Casavant, T.L., Siegle, H.J., Marinescu, D.C.: Specification and identification of events for debugging and performance monitoring of distributed multiprocessor systems. In: Proceedings of the 10th International Conference on Distributed Systems, June 1990, pp. 476\u2013483 (1990)","DOI":"10.1109\/ICDCS.1990.89317"},{"key":"3_CR11","unstructured":"Mahrenholz, D., Spinczyk, O., Schr\u00f6der-Preikschat, W.: Program instrumentation for debugging and monitoring with AspectC++. In: Proc. of the 5th IEEE International symposium on Object-Oriented Real-time Distributed Computing, Washington DC, USA, April 29 \u2013 May 1 (2002)"},{"key":"3_CR12","unstructured":"Mansouri-Samani, M.: Monitoring of Distributed Sytems. PhD thesis, University of London, London, UK (1995)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Meyer, J.J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic\u00a029(1) (1988)","DOI":"10.1305\/ndjfl\/1093637776"},{"key":"3_CR14","unstructured":"Paes, R., Carvalho, G., Lucena, C., Alencar, P., Almeida, H., Silva, V.: Specifying laws in open multi-agent systems. In: ANIREM, Utrecht (July 2005)"},{"key":"3_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-540-30082-3_23","volume-title":"Multiagent System Technologies","author":"J. V\u00e1zquez-Salceda","year":"2004","unstructured":"V\u00e1zquez-Salceda, J., Aldewerld, H., Dignum, F.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol.\u00a03187, pp. 313\u2013327. Springer, Heidelberg (2004)"},{"issue":"237","key":"3_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright von","year":"1951","unstructured":"von Wright, G.H.: Deontic logic. Mind\u00a060(237), 1\u201315 (1951)","journal-title":"Mind"},{"key":"3_CR17","unstructured":"Wampler, D.: The future of aspect oriented programming, White Paper (2003), available on, http:\/\/www.aspectprogramming.com"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11678823_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,13]],"date-time":"2020-04-13T00:29:00Z","timestamp":1586737740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11678823_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326168","9783540326175"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11678823_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}