{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:20Z","timestamp":1755220940984,"version":"3.43.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"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":["Studia Logica"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1023\/a:1010551204574","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T12:42:08Z","timestamp":1040647328000},"page":"243-269","source":"Crossref","is-referenced-by-count":21,"title":["Propositional Plausible Logic: Introduction and Implementation"],"prefix":"10.1007","volume":"67","author":[{"given":"David","family":"Billington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Rock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"352858_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5040.001.0001","volume-title":"Nonmonotonic Reasoning","author":"G. Antoniou","year":"1997","unstructured":"Antoniou, G., Nonmonotonic Reasoning, MIT Press, Cambridge, Mass., 1997."},{"key":"352858_CR2","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1142\/S0218194098000212","volume":"8","author":"G. Antoniou","year":"1998","unstructured":"Antoniou, G., \u2018On the role of nonmonotonic representations in requirements engineering\u2019, International Journal of Software Engineering and Knowledge Engineering, 8:385\u2013399, 1998.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"352858_CR3","volume-title":"Proceedings of the 10th Australasian Conference on Information Systems","author":"G. Antoniou","year":"1999","unstructured":"Antoniou, G., D. Billington, G. Governatori, and M.J. Maher, \u2018On the modelling and analysis of regulations\u2019, in Proceedings of the 10th Australasian Conference on Information Systems, Wellington, New Zealand, December 1999."},{"key":"352858_CR4","unstructured":"Antoniou, G., D. Billington, and M. J. Maher, \u2018Normal forms for defeasible logic\u2019,in Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, pages 160\u2013174. MIT Press, 1998."},{"key":"352858_CR5","unstructured":"Antoniou, G., D. Billington, and M. J. Maher, \u2018On the analysis of regulations using defeasible rules\u2019, in Proceedings of the 32nd Hawaii International Conference on Systems Science. IEEE Press, 1999. Also to appear in Applied Intelligence."},{"key":"352858_CR6","doi-asserted-by":"crossref","unstructured":"Antoniou, G., M. J. Maher, and D. Billington, \u2018Defeasible logic versus logic programming without negation as failure\u2019, Journal of Logic Programming 2000 (Accepted 4 June 1999).","DOI":"10.1016\/S0743-1066(99)00060-6"},{"key":"352858_CR7","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1093\/logcom\/3.4.379","volume":"3","author":"D. Billington","year":"1993","unstructured":"Billington, D., \u2018Defeasible logic is stable\u2019, Journal of Logic and Computation 3:379\u2013400, 1993.","journal-title":"Journal of Logic and Computation"},{"key":"352858_CR8","unstructured":"Billington, D., \u2018Defeasible deduction with arbitrary propositions\u2019, in Poster Proceedings of the 11th Australian Joint Conference on Artificial Intelligence, pages 3\u201314, 1998."},{"key":"352858_CR9","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1080\/09528139008953720","volume":"2","author":"D. Billington","year":"1990","unstructured":"Billington, D., K. De Coster, and D. Nute, \u2018A modular translation from defeasible nets to defeasible logics\u2019, Journal of Experimental and Theoretical Artificial Intelligence 2:151\u2013177, 1990.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"352858_CR10","doi-asserted-by":"crossref","unstructured":"Cholewinski, P. V.W. Marek, A. Mikitiuk, and M. Truszczyfinski, \u2018Experimenting with nonmonotonic reasoning\u2019, in Proceedings of the 12th International Conference on Logic Programming. MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0033"},{"key":"352858_CR11","unstructured":"Covington, M.A., \u2018Defeasible logic on an embedded microcontroller\u2019, in Proceedings of the Tenth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1997. Also to appear in Applied Intelligence."},{"key":"352858_CR12","doi-asserted-by":"crossref","unstructured":"Covington, M.A., \u2018Logical control of an elevator with defeasible logic\u2019, IEEE Transactions on Automatic Control, 2000 (to appear).","DOI":"10.1109\/9.867045"},{"key":"352858_CR13","volume-title":"Prolog Programming in Depth","author":"M.A. Covington","year":"1997","unstructured":"Covington, M.A., D. Nute, and A. Vellino, Prolog Programming in Depth, Prentice Hall, Upper Saddle River, New Jersey, USA, 1997."},{"key":"352858_CR14","unstructured":"Dimopoulos, Y., and A. Kakas, \u2018Logic programming without negation as failure\u2019, in J. Maluszyfinski, editor, Proceeding of the 5th International Symposium on Logic Programming, pages 369\u2013384, MIT Press, 1995."},{"key":"352858_CR15","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gotlob","year":"1992","unstructured":"Gotlob, G., \u2018Complexity results for nonmonotonic logics\u2019, Journal of Logic and Computation 2:397\u2013425, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"352858_CR16","unstructured":"Grosof, B.N., \u2018Prioritized conict handling for logic programs\u2019, in J. Maluszyfinski, editor, Proceedings of the International Logic Programming Symposium, pages 197\u2013211, MIT Press, 1997."},{"key":"352858_CR17","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1017\/S0956796800000411","volume":"2","author":"G. Hutton","year":"1992","unstructured":"Hutton, G., \u2018Higher-order functions for parsing\u2019, J. Functional Programming 2:323\u2013343, 1992.","journal-title":"J. Functional Programming"},{"key":"352858_CR18","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1142\/S021819409500006X","volume":"5","author":"Luqi","year":"1995","unstructured":"Luqi and D. E. Cooke, \u2018How to combine nonmonotonic logic and rapid prototyping to help maintain software\u2019, International Journal of Software Engineering and Knowledge Engineering 5:89\u2013118, 1995.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"352858_CR19","doi-asserted-by":"crossref","unstructured":"Nute, D., \u2018Defeasible reasoning: A philosophical analysis in prolog\u2019, in J. H. Fetzer, editor, Aspects of Artificial Intelligence, pages 251\u2013288, Kluwer Academic, 1988.","DOI":"10.1007\/978-94-009-2699-8_9"},{"key":"352858_CR20","doi-asserted-by":"crossref","unstructured":"Nute, D., \u2018A decidable quantified defeasible logic\u2019, in D. Prawitz, B. Skyrms, and D. Weasterstahl, editors, Logic, Methodology and Philosophy of Science, volume IX, pages 263\u2013284, Elsevier Science B. V., 1994.","DOI":"10.1016\/S0049-237X(06)80048-0"},{"key":"352858_CR21","doi-asserted-by":"crossref","unstructured":"Nute, D., \u2018Defeasible logic\u2019, in D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 353\u2013395, Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"key":"352858_CR22","first-page":"157","volume":"1114","author":"D. Zowghi","year":"1996","unstructured":"Zowghi, D., A.K. Ghose, and P. Peppas, \u2018A framework for reasoning about requirements evolution\u2019, in Proceedings of the Fourth Paci_c Rim International Conference on Artificial Intelligence, volume 1114 of LNAI, pages 157\u2013168, Springer, 1996.","journal-title":"Proceedings of the Fourth Paci_c Rim International Conference on Artificial Intelligence"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010551204574.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010551204574\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010551204574.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:27:08Z","timestamp":1754630828000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010551204574"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["352858"],"URL":"https:\/\/doi.org\/10.1023\/a:1010551204574","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}