{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:20:04Z","timestamp":1760170804175},"reference-count":25,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2013,10,1]]},"DOI":"10.1093\/logcom\/exs033","type":"journal-article","created":{"date-parts":[[2012,8,4]],"date-time":"2012-08-04T04:21:26Z","timestamp":1344054086000},"page":"951-989","source":"Crossref","is-referenced-by-count":25,"title":["On logical specifications of the Argument Interchange Format"],"prefix":"10.1093","volume":"23","author":[{"given":"F.","family":"Bex","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Modgil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Prakken","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Reed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2012,8,3]]},"reference":[{"key":"2_38557085","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1021603608656","volume":"29","year":"2002","journal-title":"INTERNATIONAL JOURNAL OF AUTOMATED REASONING"},{"key":"3_35172786","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1023\/A:1014490210693","volume":"34","year":"2002","journal-title":"ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE"},{"key":"8_28755173","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/B:ARTI.0000046007.11806.9a","volume":"11","year":"2003","journal-title":"ARTIFICIAL INTELLIGENCE AND LAW"},{"key":"10_43350308","first-page":"39","volume":"36","year":"2011","journal-title":"STUDIES IN LOGIC GRAMMAR AND RHETORIC"},{"key":"11_35172790","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","year":"1997","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"12_37459826","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","year":"2007","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"13_29005473","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1017\/S0269888906001044","volume":"21","year":"2006","journal-title":"THE KNOWLEDGE ENGINEERING REVIEW"},{"key":"14_29005474","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","year":"1995","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"15_35172794","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1017\/S1471068403001674","volume":"4","year":"2004","journal-title":"THEORY AND PRACTICE OF LOGIC PROGRAMMING"},{"key":"16_30307873","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1016\/j.artint.2007.04.010","volume":"171","year":"2007","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"17_25313389","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/1071-5819","issn-type":"print"},{"key":"20_35172797","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1016\/j.artint.2009.02.001","volume":"173","year":"2009","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"25_43350309","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10506-010-9104-x","volume":"19","year":"2011","journal-title":"ARTIFICIAL INTELLIGENCE AND LAW"},{"key":"26_43350310","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/0004-3702(94)90057-4","volume":"67","year":"1994","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"27_40761024","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","year":"2010","journal-title":"ARGUMENT AND COMPUTATION"},{"key":"28_33196293","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","year":"1997","journal-title":"JOURNAL OF APPLIED NONCLASSICAL LOGICS"},{"key":"29_41110138","first-page":"219","volume":"4","year":"2002","journal-title":"HANDBOOK OF PHILOSOPHICAL LOGIC"},{"key":"30_43350311","first-page":"487","volume":"26","year":"2010","journal-title":"THE KNOWLEDGE ENGINEERING REVIEW"},{"key":"32_43350312","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1016\/j.artint.2007.04.015","volume":"171","year":"2007","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"34_43350313","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1142\/S0218213004001922","volume":"13","year":"2004","journal-title":"INTERNATIONAL JOURNAL OF AI TOOLS"},{"key":"36_26864553","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","year":"1980","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"39_43350314","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1080\/19462166.2012.663539","volume":"3","year":"2012","journal-title":"ARGUMENT AND COMPUTATION"},{"issue":"3","key":"42_20351177","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1093\/logcom\/13.3.319","volume":"13","author":"Verheij","year":"2003","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"43_43350315","first-page":"189","volume":"36","year":"2011","journal-title":"STUDIES IN LOGIC GRAMMAR AND RHETORIC"},{"key":"44_29005487","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0004-3702(96)00041-0","volume":"90","year":"1997","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/23\/5\/951\/2773541\/exs033.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:22:00Z","timestamp":1503487320000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,3]]},"references-count":25,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2013,9,25]]},"published-print":{"date-parts":[[2013,10,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs033","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,3]]}}}