{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T11:23:53Z","timestamp":1710329033048},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2010,5,6]],"date-time":"2010-05-06T00:00:00Z","timestamp":1273104000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1007\/s10472-010-9181-2","type":"journal-article","created":{"date-parts":[[2010,5,5]],"date-time":"2010-05-05T06:35:50Z","timestamp":1273041350000},"page":"373-388","source":"Crossref","is-referenced-by-count":10,"title":["Building multi-agent systems using Jason"],"prefix":"10.1007","volume":"59","author":[{"given":"Niklas Skamriis","family":"Boss","sequence":"first","affiliation":[]},{"given":"Andreas Schmidt","family":"Jensen","sequence":"additional","affiliation":[]},{"given":"J\u00f8rgen","family":"Villadsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,5,6]]},"reference":[{"key":"9181_CR1","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Tralamazza, D.M.: Developing a team of gold miners using Jason. In: Proceedings of Programming Multi-Agent Systems. Lecture Notes in Computer Science, vol. 4908, pp. 241\u2013245. Springer (2008)"},{"key":"9181_CR2","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., ooldridge, M., H\u00fcbner, J.F.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley (2007)","DOI":"10.1002\/9780470061848"},{"key":"9181_CR3","unstructured":"Padgham, L., Winikoff, M.: Developing Intelligent Agent Systems: A Practical Guide. Wiley (2007)"},{"key":"9181_CR4","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall (2003)"},{"key":"9181_CR5","doi-asserted-by":"crossref","unstructured":"Villadsen, J.: Paraconsistent assertions. In: Proceedings of Multiagent System Technologies. Lecture Notes in Computer Science, vol. 3187, pp. 99\u2013113. Springer (2004)","DOI":"10.1007\/978-3-540-30082-3_8"},{"key":"9181_CR6","doi-asserted-by":"crossref","unstructured":"Villadsen, J.: A paraconsistent higher order logic. In: Proceedings of Artificial Intelligence and Symbolic Computation. Lecture Notes in Computer Science, vol. 3249, pp. 38\u201351. Springer (2004)","DOI":"10.1007\/978-3-540-30210-0_5"},{"issue":"1","key":"9181_CR7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.3166\/jancl.15.45-58","volume":"15","author":"J Villadsen","year":"2005","unstructured":"Villadsen, J.: Supra-logic: using transfinite type theory with type variables for paraconsistency. J. Appl. Non-Class. Log. 15(1), 45\u201358 (2005)","journal-title":"J. Appl. Non-Class. Log."},{"key":"9181_CR8","unstructured":"Villadsen, J.: Nominalistic logic: from naive set theory to intensional type theory. In: New Approaches to Classes and Concepts. Studies in Logic, vol. 14, pp. 57\u201385. College Publications (2008)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-010-9181-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-010-9181-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-010-9181-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:58:14Z","timestamp":1559152694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-010-9181-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,6]]},"references-count":8,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["9181"],"URL":"https:\/\/doi.org\/10.1007\/s10472-010-9181-2","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,6]]}}}