{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:17:25Z","timestamp":1760170645519,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642151712"},{"type":"electronic","value":"9783642151729"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15172-9_5","type":"book-chapter","created":{"date-parts":[[2010,8,16]],"date-time":"2010-08-16T23:48:12Z","timestamp":1282002492000},"page":"47-61","source":"Crossref","is-referenced-by-count":5,"title":["From Policy-Making Statements to First-Order Logic"],"prefix":"10.1007","author":[{"given":"Adam","family":"Wyner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"van Engers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiavash","family":"Bahreini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"5_CR1","first-page":"79","volume":"24","author":"A. Macintosh","year":"2009","unstructured":"Macintosh, A.: Moving toward \u201dintelligent\u201d policy development. IEEE Intelligent Systems\u00a024(5), 79\u201382 (2009)","journal-title":"IEEE Intelligent Systems"},{"issue":"5","key":"5_CR2","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MIS.2009.104","volume":"24","author":"D. Cartwright","year":"2009","unstructured":"Cartwright, D., Atkinson, K.: Using computational argumentation to support e-participation. IEEE Intelligent Systems\u00a024(5), 42\u201352 (2009)","journal-title":"IEEE Intelligent Systems"},{"issue":"4","key":"5_CR3","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1108\/14684520710780421","volume":"31","author":"M. Thelwall","year":"2007","unstructured":"Thelwall, M., Hasler, L.: Blog search engines. Online Information Review\u00a031(4), 467\u2013479 (2007)","journal-title":"Online Information Review"},{"issue":"5","key":"5_CR4","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1108\/10662240810912765","volume":"18","author":"R. Prabowo","year":"2008","unstructured":"Prabowo, R., Thelwall, M., Hellsten, I., Scharnhorst, A.: Evolving debate in online communication: A graph analytical approach. Internet Research\u00a018(5), 520\u2013540 (2008)","journal-title":"Internet Research"},{"issue":"4","key":"5_CR5","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1142\/S0218213004001922","volume":"13","author":"C. Reed","year":"2004","unstructured":"Reed, C., Rowe, G.: Araucaria: Software for argument analysis, diagramming and representation. International Journal on Artificial Intelligence Tools\u00a013(4), 961\u2013980 (2004)","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1016\/j.artint.2007.04.010","volume":"171","author":"T. Gordon","year":"2007","unstructured":"Gordon, T., Prakken, H., Walton, D.: The carneades model of argument and burden of proof. Artificial Intelligence\u00a0171, 875\u2013896 (2007)","journal-title":"Artificial Intelligence"},{"key":"5_CR7","unstructured":"Verheij, B.: Argumed - a template-based argument mediation system for lawyers. legal knowledge based systems. In: Hage, J.C., Bench-Capon, T., Koers, A., de Vey Mestdagh, C., Grtters, C. (eds.) JURIX: The Eleventh Conference, Nijmegen, pp. 113\u2013130. Gerard Noodt Instituut (1998)"},{"key":"5_CR8","first-page":"3","volume-title":"Applications and Innovations in Intelligent Systems XIII, Proceedings of AI-2005","author":"T. Engers van","year":"2005","unstructured":"van Engers, T.: Legal engineering: A structural approach to improving legal quality. In: Macintosh, A., Ellis, R., Allen, T. (eds.) Applications and Innovations in Intelligent Systems XIII, Proceedings of AI-2005, pp. 3\u201310. Springer, Heidelberg (2005)"},{"key":"5_CR9","first-page":"117","volume-title":"Readings in knowledge acquisition and learning: automating the construction and improvement of expert systems","author":"D.E. Forsythe","year":"1993","unstructured":"Forsythe, D.E., Buchanan, B.G.: Knowledge acquisition for expert systems: some pitfalls and suggestions. In: Readings in knowledge acquisition and learning: automating the construction and improvement of expert systems, pp. 117\u2013124. Morgan Kaufmann Publishers Inc., San Francisco (1993)"},{"key":"5_CR10","first-page":"49","volume-title":"Legal Knowledge and Information Systems. Jurix 2004: The Seventeenth Annual Conference, Frontiers in Artificial Intelligence and Applications","author":"T. Engers","year":"2004","unstructured":"Engers, T., van Gog, R., Sayah, K.: A case study on automated norm extraction. In: Gordon, T. (ed.) Legal Knowledge and Information Systems. Jurix 2004: The Seventeenth Annual Conference, Frontiers in Artificial Intelligence and Applications, pp. 49\u201358. IOS Press, Amsterdam (2004)"},{"key":"5_CR11","unstructured":"Wyner, A., van Engers, T.: A framework for enriched, controlled on-line discussion forums for e-government policy-making. In: Proceedings of eGov 2010, Lausanne, Switzerland (August 2010) (to appear)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the Workshop on Controlled Natural Language (CNL 2009)","author":"R.N. Shiffman","year":"2010","unstructured":"Shiffman, R.N., Michel, G., Krauthammer, M., Fuchs, N.E., Kaljurand, K., Kuhn, T.: Writing clinical practice guidelines in controlled natural language. In: Fuchs, N.E. (ed.) Proceedings of the Workshop on Controlled Natural Language (CNL 2009). LNCS. Springer, Heidelberg (2010)"},{"key":"5_CR13","first-page":"25","volume-title":"Semantics of Abstract Argumentation Systems","author":"P. Baroni","year":"2009","unstructured":"Baroni, P., Giacomin, M.: Argumentation in Artificial Intelligence. In: Semantics of Abstract Argumentation Systems, pp. 25\u201344. Springer, Heidelberg (2009)"},{"key":"5_CR14","volume-title":"From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language: Formal Logic and Discourse Representation Theory","author":"H. Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language: Formal Logic and Discourse Representation Theory. Springer, Heidelberg (1993)"},{"key":"5_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-1715-9","volume-title":"Reference to Abstract Objects in Discourse","author":"N. Asher","year":"1993","unstructured":"Asher, N.: Reference to Abstract Objects in Discourse. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"5_CR16","first-page":"207","volume-title":"Legal Knowledge and Information Systems. Jurix 2008: The 21st Annual Conference, Frontiers in Artificial Intelligence and Applications","author":"E. Maat de","year":"2008","unstructured":"de Maat, E., Winkels, R.: Automatic classification of sentences in dutch laws. In: Legal Knowledge and Information Systems. Jurix 2008: The 21st Annual Conference, Frontiers in Artificial Intelligence and Applications, pp. 207\u2013216. IOS Press, Amsterdam (2008)"},{"key":"5_CR17","volume-title":"The Generic Book","author":"F. Pelletier","year":"1995","unstructured":"Pelletier, F., Carlson, G.: The Generic Book. The University of Chicago Press, Chicago (1995)"},{"volume-title":"Handbook of Pragmatics","year":"2004","key":"5_CR18","unstructured":"Horn, L., Ward, G. (eds.): Handbook of Pragmatics. Blackwell, Malden (2004)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-0-387-98197-0_7","volume-title":"Argumentation in Artificial Intelligence","author":"P. Besnard","year":"2009","unstructured":"Besnard, P., Hunter, A.: Argumentation based on classical logic. In: Rahwan, I., Simari, G. (eds.) Argumentation in Artificial Intelligence, pp. 133\u2013152. Springer, Heidelberg (2009)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s10506-008-9069-1","volume":"16","author":"H. Prakken","year":"2008","unstructured":"Prakken, H.: Formalising ordinary legal disputes: a case study. Artificial Intelligence and Law\u00a016, 333\u2013359 (2008)","journal-title":"Artificial Intelligence and Law"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Prakken, H.: An abstract framework for argumentation with structure arguments. Argument and Computation (to appear, 2010)","DOI":"10.1080\/19462160903564592"},{"key":"5_CR22","unstructured":"Voorhees, E.M.: Contradictions and justifications: Extensions to the textual entailment task. In: Proceedings of ACL-08: HLT, Columbus, Ohio, June 2008, pp. 63\u201371. Association for Computational Linguistics (2008)"}],"container-title":["Lecture Notes in Computer Science","Electronic Government and the Information Systems Perspective"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15172-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T05:52:30Z","timestamp":1552888350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15172-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642151712","9783642151729"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15172-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}