{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:44:11Z","timestamp":1725522251695},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540898757"},{"type":"electronic","value":"9783540898764"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89876-4_8","type":"book-chapter","created":{"date-parts":[[2008,12,17]],"date-time":"2008-12-17T09:23:57Z","timestamp":1229505837000},"page":"135-144","source":"Crossref","is-referenced-by-count":1,"title":["Approximation Schemes in Logic and Artificial Intelligence"],"prefix":"10.1007","author":[{"given":"Victor W.","family":"Marek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4-5","key":"8_CR1","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1017\/S1471068403001832","volume":"3","author":"M. Arenas","year":"2003","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Answer sets for consistent query answering in inconsistent databases. Theory and Practice of Logic Programming\u00a03(4-5), 393\u2013424 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR2","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"1992","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1992)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0004-3702(02)00293-X","volume":"143","author":"M. Denecker","year":"2003","unstructured":"Denecker, M., Marek, V., Truszczy\u0144ski, M.: Uniform semantic treatment of default and autoepistemic logics. Artificial Intelligence Journal\u00a0143, 79\u2013122 (2003)","journal-title":"Artificial Intelligence Journal"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.ic.2004.02.004","volume":"192","author":"M. Denecker","year":"2004","unstructured":"Denecker, M., Marek, V., Truszczy\u0144ski, M.: Ultimate approximation and its application in nonmonotonic knowledge representation systems. Information and Computation\u00a0192, 84\u2013121 (2004)","journal-title":"Information and Computation"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"D\u00fcntsch, I., Or\u0142owska, E.: Beyond Modalities: Sufficiency and Mixed Algebras. In: Chapter 16 of [OS01] (2001)","DOI":"10.1007\/978-3-7908-1828-4_16"},{"issue":"4","key":"8_CR6","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M.C. Fitting","year":"1985","unstructured":"Fitting, M.C.: A Kripke-Kleene semantics for logic programs. Journal of Logic Programming\u00a02(4), 295\u2013312 (1985)","journal-title":"Journal of Logic Programming"},{"key":"8_CR7","first-page":"1070","volume-title":"Proceedings. of the International Joint Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings. of the International Joint Conference and Symposium on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"8_CR8","unstructured":"Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic, Methuen (1968)"},{"key":"8_CR9","unstructured":"Iwi\u0144ski, T.: Rough analysis in lattices. Working papers of the University of Carlos III, Madrid, Num., 91\u201323 (1991)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-540-71200-8_22","volume-title":"Transactions on Rough Sets VI","author":"J. J\u00e4rvinen","year":"2007","unstructured":"J\u00e4rvinen, J.: Lattice Theory for Rough Sets. In: Peters, J.F., Skowron, A., D\u00fcntsch, I., Grzyma\u0142a-Busse, J.W., Or\u0142owska, E., Polkowski, L. (eds.) Transactions on Rough Sets VI. LNCS, vol.\u00a04374, pp. 400\u2013498. Springer, Heidelberg (2007)"},{"key":"8_CR11","first-page":"239","volume-title":"Algebras and Order","author":"B. Jonsson","year":"1991","unstructured":"Jonsson, B.: A Survey of Boolean Algebras with Operators. In: Algebras and Order, pp. 239\u2013284. Kluwer, Dordrecht (1991)"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. Jonsson","year":"1951","unstructured":"Jonsson, B., Tarski, A.: Boolean Algebras with Operators. American Journal of Mathematics\u00a073, 891\u2013939 (1951)","journal-title":"American Journal of Mathematics"},{"key":"8_CR13","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1967","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1967) (fifth reprint)"},{"issue":"4","key":"8_CR14","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K.. Kunen","year":"1987","unstructured":"Kunen, K.: Negation in logic programming. Journal of Logic Programming\u00a04(4), 289\u2013308 (1987)","journal-title":"Journal of Logic Programming"},{"key":"8_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"issue":"4","key":"8_CR16","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/0304-3975(76)90077-3","volume":"1","author":"W. Marek","year":"1976","unstructured":"Marek, W., Pawlak, Z.: Information storage and retrieval systems, mathematical foundations. Theoretical Computer Science\u00a01(4), 331\u2013354 (1976)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"8_CR17","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3233\/FI-1984-7107","volume":"7","author":"W. Marek","year":"1984","unstructured":"Marek, W., Pawlak, Z.: Rough sets and information systems. Fundamenta Informaticae\u00a07(1), 105\u2013115 (1984)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR18","volume-title":"Nonmonotonic Logic; Context-Dependent Reasoning","author":"V.W. Marek","year":"1993","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Nonmonotonic Logic; Context-Dependent Reasoning. Springer, Berlin (1993)"},{"issue":"4","key":"8_CR19","doi-asserted-by":"crossref","first-page":"389","DOI":"10.3233\/FI-1999-39404","volume":"39","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Contributions to the Theory of Rough Sets. Fundamenta Informaticae\u00a039(4), 389\u2013409 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Or\u0142owska, E., Sza\u0142as, A.: Relational Methods for Computer Science Applications. In: Selected Papers from 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science (RelMiCS 1998); Studies in Fuzziness and Soft Computing, vol. 65. Physica-Verlag, Springer (2001)","DOI":"10.1007\/978-3-7908-1828-4"},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z.. Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough Sets. International Journal of Computer and Information Sciences\u00a011, 341\u2013356 (1982)","journal-title":"International Journal of Computer and Information Sciences"},{"key":"8_CR22","volume-title":"Rough Sets \u2013 theoretical aspects of reasoning about data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough Sets \u2013 theoretical aspects of reasoning about data. Kluwer, Dordrecht (1991)"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Pawlak, Z., Skowron, A.: Rough sets: Some extensions. Information Sciences\u00a0177(1), 28\u201340","DOI":"10.1016\/j.ins.2006.06.006"},{"key":"8_CR24","volume-title":"An Algebraic Introduction to Non-classical Logics","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa, H.: An Algebraic Introduction to Non-classical Logics. North-Holland, Amsterdam (1974)"},{"key":"8_CR25","unstructured":"SanJuan, E., Iturrioz, L.: Duality and informational representability of some information algebras. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery, Methodology and Applications, pp. 233\u2013247. Physica-Verlag (1998)"},{"issue":"2","key":"8_CR26","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/226643.226644","volume":"43","author":"B. Selman","year":"1996","unstructured":"Selman, B., Kautz, H.: Knowledge Compilation and Theory Approximation. Journal of the ACM\u00a043(2), 193\u2013224 (1996)","journal-title":"Journal of the ACM"},{"issue":"3","key":"8_CR27","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89876-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,28]],"date-time":"2021-09-28T00:14:41Z","timestamp":1632788081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89876-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540898757","9783540898764"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89876-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}