{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:19:42Z","timestamp":1777299582882,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642287855","type":"print"},{"value":"9783642287862","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28786-2_5","type":"book-chapter","created":{"date-parts":[[2012,3,5]],"date-time":"2012-03-05T17:18:26Z","timestamp":1330967906000},"page":"47-55","source":"Crossref","is-referenced-by-count":5,"title":["A Multi-Agent System for Industrial Fault Detection and Repair"],"prefix":"10.1007","author":[{"given":"Vincenzo","family":"Bevar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Costantini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arianna","family":"Tocchio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"De Gasperis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S026988890000789X","volume":"11","author":"H.S. Nwana","year":"1996","unstructured":"Nwana, H.S.: Software Agents: An Overview. Knowledge Engineering Review\u00a011(3), 1\u201340 (1996)","journal-title":"Knowledge Engineering Review"},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and practice. The Knowledge Engineering Review\u00a010(2), 115\u2013152 (1995)","journal-title":"The Knowledge Engineering Review"},{"issue":"2","key":"5_CR3","first-page":"79","volume":"19","author":"K.P. Sycara","year":"1998","unstructured":"Sycara, K.P.: Multiagent Systems. AI Magazine\u00a019(2), 79\u201392 (1998)","journal-title":"AI Magazine"},{"issue":"1","key":"5_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1111\/j.1467-8640.2007.00295.x","volume":"23","author":"M. Fisher","year":"2007","unstructured":"Fisher, M., Bordini, R., Hirsch, B., Torroni, P.: Computational logics and agents: A road map of current technologies and future trends. Computational Intelligence\u00a023(1), 61\u201391 (2007)","journal-title":"Computational Intelligence"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Chen, Y., Zhang, L.-J., Wang, Q.: Intelligent scheduling algorithm and application in modernizing manufacturing services. In: Proceedings - 2011 IEEE International Conference on Services Computing, pp. 568\u2013575 (2011)","DOI":"10.1109\/SCC.2011.123"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Elghoneimy, E., Gruver, W.A.: Intelligent decision support and agent-based techniques applied to wood manufacturing. AISC, vol.\u00a091, pp. 85\u201388 (2011)","DOI":"10.1007\/978-3-642-19934-9_11"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1023\/B:AMAI.0000034530.72860.31","volume":"42","author":"P. Torroni","year":"2004","unstructured":"Torroni, P.: Computational Logic in Multi-Agent Systems: recent advances and future directions. Annals of Mathematics and of Artificial Intelligence\u00a042, 293\u2013305 (2004)","journal-title":"Annals of Mathematics and of Artificial Intelligence"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-14309-0_10","volume-title":"A 25-Year Perspective on Logic Programming","author":"M. Baldoni","year":"2010","unstructured":"Baldoni, M., Baroglio, C., Mascardi, V., Omicini, A., Torroni, P.: Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? In: Dovier, A., Pontelli, E. (eds.) GULP. LNCS, vol.\u00a06125, pp. 204\u2013230. Springer, Heidelberg (2010)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-642-14309-0_14","volume-title":"A 25-Year Perspective on Logic Programming","author":"A. Dal Pal\u00f9","year":"2010","unstructured":"Dal Pal\u00f9, A., Torroni, P.: 25 Years of Applications of Logic Programming in Italy. In: Dovier, A., Pontelli, E. (eds.) GULP. LNCS, vol.\u00a06125, pp. 300\u2013328. Springer, Heidelberg (2010)"},{"key":"5_CR10","unstructured":"\u00c5strom, K.J., Wittenmark, B.: Computer-Controlled Systems.Theory and Design. Prentice Hall Internal Inc. (1990)"},{"key":"5_CR11","unstructured":"Costantini, S.: Towards active logic programming. In: Brogi, A., Hill, P. (eds.) Proc.\u00a0of 2nd International Workshop on component-based Software Development in Computational Logic (COCL 1999), PLI (1999)"},{"key":"5_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45757-7_1","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2002","unstructured":"Costantini, S., Tocchio, A.: A Logic Programming Language for Multi-agent Systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 1\u201313. Springer, Heidelberg (2002)"},{"key":"5_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI Logic Programming Agent-Oriented Language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 685\u2013688. Springer, Heidelberg (2004)"},{"key":"5_CR14","unstructured":"Costantini, S., Tocchio, A., Verticchio, A.: A Game-theoretic operational semantics for the DALI Communication Architecture. In: Baldoni, M., De Paoli, F., Martelli, A., Omicini, A. (eds.) Proceedings of WOA 2004, Pitagora Editrice, Bologna (2004) ISBN: 88-371-1533-4, http:\/\/woa04.unito.it\/Pages\/atti.html (accessed January 8, 2012)"},{"key":"5_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11691792_7","volume-title":"Declarative Agent Languages and Technologies III","author":"S. Costantini","year":"2006","unstructured":"Costantini, S., Tocchio, A.: About Declarative Semantics of Logic-Based Agent Languages. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 106\u2013123. Springer, Heidelberg (2006)"},{"key":"5_CR16","unstructured":"Costantini, S., D\u2019Alessandro, S., Lanti, D., Tocchio, A.: with the contribution of many undergraduate and graduate students of Computer Science, L\u2019Aquila.:DALI web site, download of the interpreter (2010), http:\/\/www.di.univaq.it\/stefcost\/Sito-Web-DALI\/WEB-DALI\/index.php (accessed January 8, 2012)"},{"key":"5_CR17","unstructured":"Costantini, S., Dell\u2019Acqua, P., Pereira, L.M., Tsintza, P.: Runtime verification of agent properties, In: Proc. of the Int. Conf. on Applications of Declarative Programming and Knowledge Management, INAP 2009 (2009)"},{"key":"5_CR18","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-Agent Systems with JADE","author":"F.L. Bellifemine","year":"2007","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. John Wiley & Sons, Hoboken (2007)"},{"key":"5_CR19","unstructured":"Leckie, C., Senjen, R., Ward, B., Zhao, M.: Communication and coordination for intelligent fault diagnosis agents. In: Proceedings Eighth IFIP\/IEEE International Workshop for Distributed Systems Operations and Management, pp. 21\u201323 (1997)"},{"key":"5_CR20","unstructured":"Friedman-Hill, E.: Jess in Action: Java Rule-Based Systems. Action series. Manning Publications (2002)"},{"key":"5_CR21","first-page":"638","volume-title":"Proc. of the Third Int. Joint Conf. on Autonomous Agents and Multiagent Systems, AAMAS 2004","author":"M. Kacprzak","year":"2004","unstructured":"Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of multiagent systems via unbounded model checking. In: Proc. of the Third Int. Joint Conf. on Autonomous Agents and Multiagent Systems, AAMAS 2004, pp. 638\u2013645. ACM Press, New York (2004)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Fisher, M.: Model checking AgentSpeak. In: Proceedings of the Second Int. Joint Conf. on Autonomous Agents and Multiagent Systems AAMAS 2003, pp. 409\u2013416. ACM Press (2003)","DOI":"10.1145\/860575.860641"},{"key":"5_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M. Alberti","year":"2008","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The sciff framework. ACM Trans. Comput.\u00a09, 29:1\u201329:43 (2008)","journal-title":"ACM Trans. Comput."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Costantini, S., Mostarda, L., Tocchio, A., Tsintza, P.: Dalica agents applied to a cultural heritage scenario. IEEE Intelligent Systems, Special Issue on Ambient Intelligence\u00a023(8) (2008)","DOI":"10.1109\/MIS.2008.24"},{"key":"5_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-25932-9_2","volume-title":"Declarative Agent Languages and Technologies","author":"M. Castaldi","year":"2004","unstructured":"Castaldi, M., Costantini, S., Gentile, S., Tocchio, A.: A Logic-Based Infrastructure for Reconfiguring Applications. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 17\u201336. Springer, Heidelberg (2004)"}],"container-title":["Advances in Intelligent and Soft Computing","Advances on Practical Applications of Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28786-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T11:11:20Z","timestamp":1742641880000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-28786-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642287855","9783642287862"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28786-2_5","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"value":"1867-5662","type":"print"},{"value":"1867-5670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}