{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:38:46Z","timestamp":1742945926549,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320897"},{"type":"electronic","value":"9783642320903"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32090-3_11","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T05:47:26Z","timestamp":1344577646000},"page":"112-125","source":"Crossref","is-referenced-by-count":0,"title":["WUENIC \u2013 A Case Study in Rule-Based Knowledge Representation and Reasoning"],"prefix":"10.1007","author":[{"given":"Robert","family":"Kowalski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony","family":"Burton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"11_CR1","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M.J. Sergot","year":"1986","unstructured":"Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The British Nationality Act as a Logic Program. CACM\u00a029(5), 370\u2013386 (1986)","journal-title":"CACM"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"535","DOI":"10.2471\/BLT.08.053819","volume":"87","author":"A. Burton","year":"2009","unstructured":"Burton, A., Monash, R., Lautenbach, B., Gacic-Dobo, M., Neill, M., Karimov, R., Wolfson, L., Jones, G., Birmingham, M.: WHO and UNICEF Estimates of National Infant Immunization Coverage: Methods and Processes. Bull. World Health Organization\u00a087, 535\u2013541 (2009)","journal-title":"Bull. World Health Organization"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Prakken, H., Sartor, G.: A Dialectical Model of Assessing Conflicting Arguments in Legal Reasoning. Journal of Artificial Intelligence and Law\u00a04(3-4) (1996)","DOI":"10.1007\/BF00118496"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the Acceptability of Arguments and its Fundamental Role in Non-monotonic Reasoning, Logic Programming and N-person Games. Journal of Artificial Intelligence\u00a077, 321\u2013357 (1995)","journal-title":"Journal of Artificial Intelligence"},{"issue":"1-2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R., Toni, F.: An Abstract Argumentation-theoretic Approach to Default Reasoning. Journal of Artificial Intelligence\u00a093(1-2), 63\u2013101 (1997)","journal-title":"Journal of Artificial Intelligence"},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.artint.2005.07.002","volume":"170","author":"P.M. Dung","year":"2006","unstructured":"Dung, P.M., Kowalski, R., Toni, F.: Dialectic proof procedures for Assumption-Based, Admissible Argumentation. Journal of Artificial Intelligence\u00a0170(2), 114\u2013159 (2006)","journal-title":"Journal of Artificial Intelligence"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1145\/191843.191927","volume":"23","author":"K. Sagonas","year":"1994","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. SIGMOD Rec.\u00a023(2), 442\u2013453 (1994)","journal-title":"SIGMOD Rec."},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/336992.337010","volume-title":"Proceedings of the 1st ACM Conference on Electronic Commerce","author":"B.N. Grosof","year":"1999","unstructured":"Grosof, B.N., Labrou, Y., Chan, H.Y.: A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML. In: Proceedings of the 1st ACM Conference on Electronic Commerce, pp. 68\u201377. ACM, New York (1999)"},{"key":"11_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511984747","volume-title":"Computational Logic and Human Thinking: How to be Artificially Intelligent","author":"R. Kowalski","year":"2011","unstructured":"Kowalski, R.: Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge University Press, Cambridge (2011)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-05082-4_1","volume-title":"Web Reasoning and Rule Systems","author":"R. Kowalski","year":"2009","unstructured":"Kowalski, R., Sadri, F.: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol.\u00a05837, pp. 1\u201323. Springer, Heidelberg (2009)"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.2174\/1874279301105010115","volume":"5.","author":"D.W. Brown","year":"2011","unstructured":"Brown, D.W., Burton, A., Gacic-Dobo, M., Karimov, R.I.: A Summary of Global Routine Immunization Coverage through 2010. Open Infect. Dis. J.\u00a05., 115\u2013117 (2011)","journal-title":"Open Infect. Dis. J."},{"key":"11_CR12","unstructured":"Kowalski, R.: Logic for Problem Solving. Elsevier Science Publishing Company (1979), \n                      http:\/\/www.doc.ic.ac.uk\/~rak\/"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32090-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T08:37:25Z","timestamp":1675931845000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-32090-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320897","9783642320903"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32090-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}