{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:10:10Z","timestamp":1725549010470},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540244226"},{"type":"electronic","value":"9783540309604"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30960-4_15","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:19:26Z","timestamp":1267125566000},"page":"222-237","source":"Crossref","is-referenced-by-count":1,"title":["Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols"],"prefix":"10.1007","author":[{"given":"Jaime","family":"Ram\u00edrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ang\u00e9lica","family":"de Antonio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J.: An assumption based TMS. Artificial Intelligence\u00a028, 127\u2013162 (1986)","journal-title":"Artificial Intelligence"},{"key":"15_CR2","unstructured":"Rousset, M.: On the consistency of knowledge bases: The COVADIS system. In: Rousset, M. (ed.) Proceedings ECAI 1988, Munich, Alemania, pp. 79\u201384 (1988)"},{"key":"15_CR3","unstructured":"Ginsberg, A.: Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency and redundancy. In: Proceedings of the AAAI 1988, pp. 585\u2013589 (1988)"},{"key":"15_CR4","unstructured":"de Antonio, A.: Sistema para la verificaci\u00f3n estructural y detecci\u00f3n de inconsistencies en bases de conocimientos. In: de Antonio, A. (ed.) Final year project, Facultad de Inform\u00e1tica, UPM (1990)"},{"key":"15_CR5","unstructured":"Meseguer, P.: Incremental verification of rule-based expert systems. In: Proceedings of the 10th. European Conference on AI (ECAI 1992), pp. 840\u2013844 (1992)"},{"key":"15_CR6","unstructured":"Dahl, M., Williamson, K.: A verification strategy for long-term maintenance of large rule-based systems. In: Workshop Notes of the AAAI 1992WorkShop on Verification and Validation of expert Systems, pp. 66\u201371 (1992)"},{"key":"15_CR7","unstructured":"Ayel, M.: Protocols for consistency checking in expert system knowledge bases. In: Proceedings of the European Conference on Artificial Intelligence (ECAI 1988), pp. 220\u2013225 (1988)"},{"key":"15_CR8","volume-title":"Validation, Verification and Test of Knowledge-Based Systems: SACCO-SYCOJET: Two Different Ways of Verifying Knowledged-Based Systems","author":"M. Ayel","year":"1991","unstructured":"Ayel, M., Laurent, J.P.: Validation, Verification and Test of Knowledge-Based Systems: SACCO-SYCOJET: Two Different Ways of Verifying Knowledged-Based Systems. John Wiley, Chichester (1991)"},{"key":"15_CR9","unstructured":"de Antonio, A., Carde\u00f1osa, J., Mart\u00ednez, L.: GKR: A generic model of knowledge representation. In: Proceedings of the 12th National Conference on Artificial Intelligence (AAAI 1994). vol.\u00a0II (Student Abstracts), p. 1438 (1994)"},{"key":"15_CR10","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M.: Interaction protocols in agentis. In: Third International Conference on Multi-Agent Systems (ICMAS 1998), pp. 261\u2013268 (1998)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1002\/(SICI)1098-111X(199710)12:10<725::AID-INT2>3.0.CO;2-#","volume":"12","author":"G. Antoniou","year":"1997","unstructured":"Antoniou, G.: Verification and correctness issues for nonmonotonic knowledge bases. International Journal of Intelligent Systems\u00a012, 725\u2013738 (1997)","journal-title":"International Journal of Intelligent Systems"},{"key":"15_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-71549-5","volume-title":"Temporal Logic of Programs.","author":"F. Kr\u00f6ger","year":"1987","unstructured":"Kr\u00f6ger, F.: Temporal Logic of Programs. Springer, Heidelberg (1987)"},{"key":"15_CR13","unstructured":"Ram\u00fdrez, J., de Antonio, A.: Knowledge base semantic verification based on contexts propagation, Notes of the AAAI 2001 Symposium on Model-based Validation of Intelligence (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30960-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T14:11:45Z","timestamp":1552399905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30960-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540244226","9783540309604"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30960-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}