{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:22Z","timestamp":1725493222391},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_2","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"14-26","source":"Crossref","is-referenced-by-count":2,"title":["A Proof-System for the Safe Execution of Tasks in Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"A.","family":"Ciampolini","sequence":"first","affiliation":[]},{"given":"E.","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"P.","family":"Mello","sequence":"additional","affiliation":[]},{"given":"P.","family":"Torroni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"N.R. Jennings","year":"2000","unstructured":"Jennings, N.R.: On agent-based software engineering. Artificial Intelligence 117 (2000) 277\u2013296","journal-title":"Artificial Intelligence"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: LAILA: A language for coordinating abductive reasoning among logic agents. Computer Languages 27 (2002)","DOI":"10.1016\/S0096-0551(01)00020-0"},{"key":"2_CR3","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Co-operation and competition in ALIAS: a logic framework for agents that negotiate. In: Computational Logic and Multi-Agency. Special Issue of the Annals of Mathematics and Artificial Intelligence, Baltzer Science Pub. (to appear)"},{"key":"2_CR4","first-page":"235","volume":"5","author":"A.C. Kakas","year":"1998","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. Handbook of Logic in AI and Logic Programming 5 (1998) 235\u2013324","journal-title":"Handbook of Logic in AI and Logic Programming"},{"key":"2_CR5","unstructured":"Kakas, A.C., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proc. 9th ECAI, Pitman Pub. (1990)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming (1997)","DOI":"10.1016\/S0743-1066(97)00026-5"},{"key":"2_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Foundations of a logical approach to agent programming","author":"Y. Lesprance","year":"1995","unstructured":"Lesprance, Y., Levesque, H.J., Lin, F., Marcu, D., Reiter, R., Scherl, R.B.: Foundations of a logical approach to agent programming. In: Intelligent Agents II \u2014 Proc. ATAL\u201995. LNCS, Springer-Verlag (cd1996)"},{"key":"2_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"AgentSpeak(L): BDI agents speak out in a logical computable language","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Agents Breaking Away, Proc. MAAMAW\u201997. LNCS 1038, Springer (1996) 42\u201355"},{"key":"2_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/BFb0026761","volume-title":"Formal semantics for an abstract agent programming language","author":"K. Hindriks","year":"1998","unstructured":"Hindriks, K., Boer, F.D., van der Hoek, W., Meyer, J.J.: Formal semantics for an abstract agent programming language. In: Intelligent Agents IV, Proc. ATAL\u201997. LNCS 1365, Springer-Verlag (1998) 215\u2013229"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:08:04Z","timestamp":1556921284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}