{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:53Z","timestamp":1755220913057,"version":"3.43.0"},"reference-count":18,"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:1010527400940","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T12:42:08Z","timestamp":1040647328000},"page":"153-165","source":"Crossref","is-referenced-by-count":1,"title":["Representing Meta-Knowledge in Poole-Systems"],"prefix":"10.1007","volume":"67","author":[{"given":"Gerhard","family":"Brewka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"352850_CR1","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Nonmonotonic Reasoning, MIT Press, 1997.","DOI":"10.7551\/mitpress\/5040.001.0001"},{"key":"352850_CR2","unstructured":"Baral, C., V. S. Subrahmanian, \u2018Duality between alternative semantics of logic programs and nonmonotonic formalisms\u2019, Intl. Workshop on Logic Programming and Nonmonotonic Reasoning, 1991."},{"key":"352850_CR3","unstructured":"Benferhat, S., D. Dubois, S. Kaci, H. Prade, \u2018encoding classical fusion in ordered knowledge bases framework\u2019, proc. 8th intl. workshop on nonmonotonic reasoning, uncertainty frameworks track, breckenridge, 2000."},{"key":"352850_CR4","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1613\/jair.284","volume":"4","author":"G. Brewka","year":"1996","unstructured":"Brewka, G., \u2018Well-founded semantics for extended logic programs with dynamic preferences\u2019, Journal of Artificial Intelligence Research 4 (1996), 19\u201336.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"352850_CR5","volume-title":"Proc. European Conference on AI","author":"G. Brewka","year":"2000","unstructured":"Brewka, G., \u2018Declarative representation of revision strategies\u2019, Proc. European Conference on AI, ECAI, Berlin, 2000."},{"key":"352850_CR6","volume-title":"Nonmonotonic Reasoning \u2014 An Overview","author":"G. Brewka","year":"1997","unstructured":"Brewka, G., J. Dix, K. Konolige, Nonmonotonic Reasoning \u2014 An Overview, CSLI Publications, Stanford, 1997."},{"key":"352850_CR7","doi-asserted-by":"crossref","unstructured":"Brewka, G., T. Eiter, \u2018Prioritizing default logic\u2019, Intellectics and Computational Logic: Festschrift 60th Anniversary of W. Bibel, Kluwer Academic Publishers, Applied Logic Series 19, 2000.","DOI":"10.1007\/978-94-015-9383-0_3"},{"key":"352850_CR8","volume-title":"Knowledge in Flux","author":"P. G\u00c4rdenfors","year":"1988","unstructured":"G\u00c4rdenfors, P., Knowledge in Flux, MIT Press, Cambridge, MA, 1988."},{"key":"352850_CR9","first-page":"233","volume":"3","author":"L. Cholvy","year":"1998","unstructured":"Cholvy, L., \u2018Reasoning about merging information\u2019, in Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 3, 233\u2013263, 1998.","journal-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems"},{"key":"352850_CR10","unstructured":"Eiter, T., N. Leone, C. Mateis, G. Pfeifer, F. Scarcello, \u2018The KR System dlv: progress report, comparisons and benchmarks\u2019, Proc. 6th Intl. Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, 1998. Representing Meta-Knowledge in Poole-Systems 165"},{"key":"352850_CR11","doi-asserted-by":"crossref","unstructured":"Marek, W., M. Truszczyfinski, Nonmonotonic Logics \u2014 Context-Dependent Reasoning, Springer, 1993.","DOI":"10.1007\/978-3-662-02906-0_9"},{"key":"352850_CR12","volume-title":"Proc. 4th Intl. Conference on Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00c4","year":"1997","unstructured":"Niemel\u00c4, I., P. Simons, \u2018Eficient implementation of the stable model and wellfounded semantics for normal logic programs\u2019, Proc. 4th Intl. Conference on Logic Programming and Nonmonotonic Reasoning, Dagstuhl, Germany, Springer Verlag, 1997."},{"key":"352850_CR13","doi-asserted-by":"crossref","unstructured":"Poole, D., \u2018A logical framework for default reasoning\u2019, Artificial Intelligence 36, 1988.","DOI":"10.1016\/0004-3702(88)90077-X"},{"key":"352850_CR14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H. Prakken","year":"1997","unstructured":"Prakken, H., G. Sartor, \u2018Argument-based extended logic programming with defeasible priorities\u2019, Journal of Applied Nonclassical Logics 7 (1997), 25\u201375.","journal-title":"Journal of Applied Nonclassical Logics"},{"key":"352850_CR15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R., \u2018A logic for default reasoning\u2019, Artificial Intelligence 13 (1980), 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"352850_CR16","unstructured":"Sagonas, K., T. Swift, and S. W. David, \u2018An abstract machine for computing the well-founded semantics\u2019, in Proceedings of the Joint International Conference and Symposium on Logic Programming Bonn, Germany, pages 274\u2013288, MIT Press, 1996"},{"key":"352850_CR17","doi-asserted-by":"crossref","unstructured":"Schaub, T., The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Eficient Computation, Springer Verlag, 1998.","DOI":"10.1007\/BFb0054963"},{"key":"352850_CR18","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A., \u2018A lattice-theoretical fix point theorem and its applications\u2019, Pacific Journal of Mathematics 5 (1955), 285\u2013309.","journal-title":"Pacific Journal of Mathematics"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010527400940.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010527400940\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010527400940.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:13:24Z","timestamp":1754630004000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010527400940"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["352850"],"URL":"https:\/\/doi.org\/10.1023\/a:1010527400940","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}