{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:36:00Z","timestamp":1725550560741},"publisher-location":"Berlin, Heidelberg","reference-count":67,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540298304"},{"type":"electronic","value":"9783540320166"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11574798_10","type":"book-chapter","created":{"date-parts":[[2005,11,5]],"date-time":"2005-11-05T07:42:44Z","timestamp":1131176564000},"page":"178-276","source":"Crossref","is-referenced-by-count":7,"title":["A Framework for Reasoning with Rough Sets"],"prefix":"10.1007","author":[{"given":"Aida","family":"Vit\u00f3ria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","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 Information and Computer Science\u00a011, 341\u2013356 (1982)","journal-title":"International Journal of Information and Computer Science"},{"key":"10_CR2","unstructured":"Nguyen, H.S., Nguyen, T.T., Skowron, A., Synak, P.: Knowledge discovery by rough set methods. In: Callaos, N.C. (ed.) Proc. of the International Conference on Information Systems Analysis and Synthesis (ISAS 1996), pp. 526\u2013533 (1996)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/S0933-3657(98)00051-7","volume":"15","author":"J. Komorowski","year":"1999","unstructured":"Komorowski, J., \u00d8hrn, A.: Modelling prognostic power of cardiac tests using rough sets. Journal of Artificial Intelligence in Medicine\u00a015, 167\u2013191 (1999)","journal-title":"Journal of Artificial Intelligence in Medicine"},{"key":"10_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1007\/978-3-540-25929-9_85","volume-title":"Rough Sets and Current Trends in Computing","author":"L. Lazareck","year":"2004","unstructured":"Lazareck, L., Ramanna, S.: Classification of swallowing sound signals: A rough set approach. In: Tsumoto, S., S\u0142owi\u0144ski, R., Komorowski, J., Grzyma\u0142a-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol.\u00a03066, pp. 679\u2013684. Springer, Heidelberg (2004)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1016\/S0377-2217(01)00259-4","volume":"141","author":"F.E.H. Tay","year":"2002","unstructured":"Tay, F.E.H., Shen, L.: Economic and finantial prediction using rough sets model. European Journal of Operational Research\u00a0141, 641\u2013659 (2002)","journal-title":"European Journal of Operational Research"},{"key":"10_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/3-540-45813-1_18","volume-title":"Rough Sets and Current Trends in Computing","author":"H. Midelfart","year":"2002","unstructured":"Midelfart, H., Komorowski, J.: A rough set framework for learning in a directed acyclic graph. In: Alpigini, J.J., Peters, J.F., Skowron, A., Zhong, N. (eds.) RSCTC 2002. LNCS (LNAI), vol.\u00a02475, pp. 144\u2013155. Springer, Heidelberg (2002)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Pagliani, P.: Rough sets theory and logic-algebraic structures. In: Orlowska, E. (ed.) Incomplete Information: Rough Sets Analysis, pp. 109\u2013190. Physics (1997)","DOI":"10.1007\/978-3-7908-1888-8_6"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1080\/10798587.1996.10750660","volume":"2","author":"Y.Y. Yao","year":"1996","unstructured":"Yao, Y.Y., Lin, T.Y.: Generalizations of rough sets using modal logic. Journal of Intelligent Automation and Soft Computing\u00a02, 103\u2013120 (1996)","journal-title":"Journal of Intelligent Automation and Soft Computing"},{"key":"10_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/3-540-45554-X_22","volume-title":"Rough Sets and Current Trends in Computing","author":"H. Midelfart","year":"2001","unstructured":"Midelfart, H., Komorowski, J.: A rough set approach to inductive logic programming. In: Ziarko, W.P., Yao, Y.Y. (eds.) RSCTC 2000. LNCS (LNAI), vol.\u00a02005, p. 190. Springer, Heidelberg (2001)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0165-0114(89)90197-8","volume":"29","author":"M. Wygralak","year":"1989","unstructured":"Wygralak, M.: Rough sets and fuzzy sets - some remarks on interrelations. Journal of Fuzzy Sets and Systems\u00a029, 241\u2013243 (1989)","journal-title":"Journal of Fuzzy Sets and Systems"},{"key":"10_CR11","first-page":"204","volume-title":"Handbook of Applications and Advances of the Rough Sets Theory","author":"D. Dubois","year":"1992","unstructured":"Dubois, D., Prade, H.: Putting rough sets and fuzzy sets together. In: Slowinski, R. (ed.) Handbook of Applications and Advances of the Rough Sets Theory, pp. 204\u2013232. Kluwer Academic Publishers, Dordrecht (1992)"},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-1996-272311","volume":"27","author":"A. Skowron","year":"1996","unstructured":"Skowron, A., Stepaniuk, J.: Tolerance approximation spaces. Fundamenta Informaticae\u00a027, 245\u2013253 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0022-0000(93)90048-2","volume":"46","author":"W. Ziarko","year":"1993","unstructured":"Ziarko, W.: Variable precision rough set model. Journal of Computer and Systems Science\u00a046, 39\u201359 (1993)","journal-title":"Journal of Computer and Systems Science"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"\u00d8hrn, A., Komorowski, J.: ROSETTA: A rough set toolkit for analysis of data. In: Proc. of Third International Joint Conference on Information Sciences, Fifth International Workshop on Rough Sets and Soft Computing (RSSC 1997), Durham, NC, USA, vol.\u00a03, pp. 403\u2013407 (1997)","DOI":"10.1007\/978-1-4613-1461-5_1"},{"key":"10_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/3-540-45813-1_68","volume-title":"Rough Sets and Current Trends in Computing","author":"W. Ziarko","year":"2002","unstructured":"Ziarko, W., Fei, X.: VPRSM approach to WEB searching. In: Alpigini, J.J., Peters, J.F., Skowron, A., Zhong, N. (eds.) RSCTC 2002. LNCS (LNAI), vol.\u00a02475, pp. 514\u2013521. Springer, Heidelberg (2002)"},{"key":"10_CR16","first-page":"220","volume-title":"Proc. of the 15th European Conference on Artificial Intelligence, (ECAI 2002)","author":"P. Doherty","year":"2002","unstructured":"Doherty, P., \u0141ukaszewicz, W., Sza\u0142as, A.: CAKE: A Computer Aided Knowledge Engineering Technique. In: van Harmelen, F. (ed.) Proc. of the 15th European Conference on Artificial Intelligence (ECAI 2002), pp. 220\u2013224. IOS Press, Amsterdam (2002)"},{"key":"10_CR17","unstructured":"Ma\u0142uszy\u0144ski, J., Vit\u00f3ria, A.: Defining rough sets by extended logic programs. In: On-Line Proc. of Paraconsistent Computational Logic Workshop, PCL 2002 (2002), http:\/\/floc02.diku.dk\/PCL\/ , http:\/\/arxiv.org\/list\/cs.lo\/0207#cs.lo\/0207089"},{"key":"10_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-45813-1_26","volume-title":"Rough Sets and Current Trends in Computing","author":"A. Vit\u00f3ria","year":"2002","unstructured":"Vit\u00f3ria, A., Ma\u0142uszy\u0144ski, J.: A logic programming framework for rough sets. In: Alpigini, J.J., Peters, J.F., Skowron, A., Zhong, N. (eds.) RSCTC 2002. LNCS (LNAI), vol.\u00a02475, pp. 205\u2013212. Springer, Heidelberg (2002)"},{"key":"10_CR19","series-title":"LNAI","first-page":"197","volume-title":"RSFDGrC 2003","author":"A. Vit\u00f3ria","year":"2003","unstructured":"Vit\u00f3ria, A., Dam\u00e1sio, C.V., Ma\u0142uszy\u0144ski, J.: Query answering for rough knowledge bases. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds.) RSFDGrC 2003. LNCS (LNAI), vol.\u00a02639, pp. 197\u2013204. Springer, Heidelberg (2003)"},{"key":"10_CR20","first-page":"241","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"C.V. Dam\u00e1sio","year":"1998","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: A survey of paraconsistent semantics for logic programs. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a02, pp. 241\u2013320. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"10_CR21","first-page":"215","volume":"57","author":"A. Vit\u00f3ria","year":"2003","unstructured":"Vit\u00f3ria, A., Dam\u00e1sio, C.V., Ma\u0142uszy\u0144ski, J.: From rough sets to rough knowledge bases. Fundamenta Informaticae\u00a057, 215\u2013246 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-25929-9_17","volume-title":"Rough Sets and Current Trends in Computing","author":"A. Vit\u00f3ria","year":"2004","unstructured":"Vit\u00f3ria, A., Dam\u00e1sio, C.V., Ma\u0142uszy\u0144ski, J.: Toward rough knowledge bases with quantitative measures. In: Tsumoto, S., S\u0142owi\u0144ski, R., Komorowski, J., Grzyma\u0142a-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol.\u00a03066, pp. 153\u2013158. Springer, Heidelberg (2004)"},{"key":"10_CR23","unstructured":"Andersson, R.: Rough Knowledge Base System (2004), Available at, http:\/\/www.ida.liu.se\/rkbs"},{"key":"10_CR24","volume-title":"Rough sets. Theoretical Aspects of Reasoning about Data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)"},{"key":"10_CR25","first-page":"3","volume-title":"Rough Fuzzy Hybridization. A New Trend in Decision-Making","author":"J. Komorowski","year":"1999","unstructured":"Komorowski, J., Pawlak, Z., Polkowski, L., Skowron, A.: Rough sets: A tutorial. In: Pal, S.K., Skowron, A. (eds.) Rough Fuzzy Hybridization. A New Trend in Decision-Making, pp. 3\u201398. Springer, Heidelberg (1999)"},{"key":"10_CR26","first-page":"328","volume-title":"Handbook of Data Mining and Knowledge Discovery","author":"W. Ziarko","year":"2002","unstructured":"Ziarko, W.: Rough set approaches for discovery of rules and attribute dependencies. In: Kloesgen, W., Zytkow, J. (eds.) Handbook of Data Mining and Knowledge Discovery, pp. 328\u2013338. Oxford University Press, Oxford (2002)"},{"key":"10_CR27","unstructured":"Slowinski, R., Vanderpooten, D.: Similarity relations as a basis for rough set approximations. In: Wang, P.P. (ed.) Advances in Machine Intelligence and Soft Computing, vol.\u00a04, pp. 17\u201333 (1997)"},{"key":"10_CR28","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/978-1-4613-1461-5_14","volume-title":"Rough Sets and Data Mining Analysis of Imprecise Data","author":"A. Skowron","year":"1997","unstructured":"Skowron, A., Polkowski, L.: Synthesis of decison systems from data tables. In: Lin, T.Y., Cercone, N. (eds.) Rough Sets and Data Mining Analysis of Imprecise Data, pp. 259\u2013300. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"10_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/3-540-69115-4_72","volume-title":"Rough Sets and Current Trends in Computing","author":"J.G. Bazan","year":"1998","unstructured":"Bazan, J.G.: Discovery of decision rules by matching new objects against data tables. In: Polkowski, L., Skowron, A. (eds.) RSCTC 1998. LNCS (LNAI), vol.\u00a01424, pp. 521\u2013528. Springer, Heidelberg (1998)"},{"key":"10_CR30","first-page":"501","volume-title":"Rough Sets in Knowledge Discovery, Methodology and Applications","author":"J. Stefanowski","year":"1998","unstructured":"Stefanowski, J.: On rough set approaches to induction of decision rules. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery, Methodology and Applications, pp. 501\u2013529. Springer, Heidelberg (1998)"},{"key":"10_CR31","unstructured":"Bazan, J.G.: Dynamic reducts and statistical inference. In: Proc. of the Sixth International Conference, Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMIU 1996), vol.\u00a03, pp. 1147\u20131152 (1996)"},{"key":"10_CR32","doi-asserted-by":"crossref","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)"},{"key":"10_CR33","volume-title":"Logic, Programming and Prolog","author":"U. Nilsson","year":"1995","unstructured":"Nilsson, U., Ma\u0142uszynski, J.: Logic, Programming and Prolog, 2nd edn. John Wiley & Sons, Chichester (1995), http:\/\/www.ida.liu.se\/~ulfni\/lpp\/copyright.html","edition":"2"},{"key":"10_CR34","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"10_CR35","volume-title":"Knowledge Representation and Reasoning","author":"R.J. Brachman","year":"2004","unstructured":"Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier, Amsterdam (2004)"},{"key":"10_CR36","first-page":"457","volume-title":"Logic Programming and Nonmonotonic Reasoning - Proc. of the 2nd International Workshop","author":"D. Pearce","year":"1993","unstructured":"Pearce, D.: Answer sets and constructive logic, II: Extended logic programs and related non-monotonic formalisms. In: Pereira, L.M., Nerode, A. (eds.) Logic Programming and Nonmonotonic Reasoning - Proc. of the 2nd International Workshop, pp. 457\u2013475. MIT Press, Cambridge (1993)"},{"key":"10_CR37","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1093\/logcom\/5.3.265","volume":"5","author":"C. Sakama","year":"1995","unstructured":"Sakama, C., Inoue, K.: Paraconsistent Stable Semantics for Extended Disjunctive Programs. Journal of Logic and Computation\u00a05, 265\u2013285 (1995)","journal-title":"Journal of Logic and Computation"},{"key":"10_CR38","first-page":"579","volume-title":"Proc. of the Seventh International Conference on Logic Programming","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, S. (ed.) Proc. of the Seventh International Conference on Logic Programming, pp. 579\u2013597. MIT Press, Cambridge (1990)"},{"key":"10_CR39","first-page":"1070","volume-title":"Proc. of the Fifth International Logic Programming Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proc. of the Fifth International Logic Programming Conference and Symposium, Seattle, USA, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"10_CR40","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"Inoue, K., Sakama, C.: Negation as failure in the head. Journal of Logic Programming\u00a035, 39\u201378 (1998)","journal-title":"Journal of Logic Programming"},{"key":"10_CR41","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusiski, T.C.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming.\u00a045, 43\u201370 (2000)","journal-title":"Journal of Logic Programming."},{"key":"10_CR42","first-page":"289","volume-title":"Proc. of the Joint International Conference and Symposium on Logic Programming","author":"I. Niemel\u00e4","year":"1996","unstructured":"Niemel\u00e4, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Maher, M. (ed.) Proc. of the Joint International Conference and Symposium on Logic Programming, Bonn, Germany, pp. 289\u2013303. MIT Press, Cambridge (1996)"},{"key":"10_CR43","unstructured":"Simons, P.: Smodels system, Available at, http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"10_CR44","first-page":"406","volume-title":"KR 1998: Principles of Knowledge Representation and Reasoning","author":"T. Eiter","year":"1998","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR system dlv: Progress report, comparisons and benchmarks. In: Cohn, A.G., Schubert, L., Shapiro, S.C. (eds.) KR 1998: Principles of Knowledge Representation and Reasoning, pp. 406\u2013417. Morgan Kaufmann, San Francisco (1998)"},{"key":"10_CR45","unstructured":"The dlv project, Available at, http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/"},{"key":"10_CR46","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog: The Standard Reference Manual","author":"P. Deransart","year":"1996","unstructured":"Deransart, P., Ed-Bali, A., Cervoni, L.: Prolog: The Standard Reference Manual. Springer, Heidelberg (1996)"},{"key":"10_CR47","first-page":"7","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 7\u201337. Reidel Publishing Company, Dordrecht (1977)"},{"key":"10_CR48","unstructured":"Belnap, N.D.: How computer should think. In: Rydle, G. (ed.) Contemporary Aspets of Philosophy, pp. 30\u201356. Oriel Press (1977)"},{"key":"10_CR49","doi-asserted-by":"crossref","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels - an implementation of stable model and the well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS(LNAI), vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)","DOI":"10.1007\/3-540-63255-7_32"},{"key":"10_CR50","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Computing Surveys\u00a033, 374\u2013425 (2001)","journal-title":"ACM Computing Surveys"},{"key":"10_CR51","doi-asserted-by":"crossref","unstructured":"Ziarko, W.: Acquisition of Hierarchy-Structured Probabilistic Decision Tables and Rules from Data. In: Proc. of the World Congress on Computational Intelligence, Honolulu (2002)","DOI":"10.1109\/FUZZ.2002.1005092"},{"key":"10_CR52","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for deafult reasoning. Journal of Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Journal of Artificial Intelligence"},{"key":"10_CR53","unstructured":"Andersson, R.: Implementation of a rough knowledge base system supporting quantitative measures. Master thesis, Link\u00f6ping University, IDA (2004)"},{"key":"10_CR54","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-45632-5_5","volume-title":"Computational Logic: Logic Programming and Beyond","author":"C. Zaniolo","year":"2002","unstructured":"Zaniolo, C.: Key constraints and monotonic aggregates in deductive databases. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02408, pp. 109\u2013134. Springer, Heidelberg (2002)"},{"key":"10_CR55","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30227-8_19","volume-title":"Logics in Artificial Intelligence","author":"W. Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 200\u2013212. Springer, Heidelberg (2004)"},{"key":"10_CR56","unstructured":"Java. Sun Mycrosystems, Available at, http:\/\/java.sun.com\/"},{"key":"10_CR57","unstructured":"XSB system, Available at, http:\/\/xsb.sourceforge.net\/"},{"key":"10_CR58","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0743-1066(94)00028-5","volume":"24","author":"W. Chen","year":"1995","unstructured":"Chen, W., Swift, T., Warren, D.S.: Efficient top-down computation of queries under the well-founded semantics. Journal of Logic Programming\u00a024, 161\u2013199 (1995)","journal-title":"Journal of Logic Programming"},{"key":"10_CR59","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. Journal of the ACM\u00a043, 20\u201374 (1996)","journal-title":"Journal of the ACM"},{"key":"10_CR60","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/291889.291897","volume":"20","author":"K. Sagonas","year":"1998","unstructured":"Sagonas, K., Swift, T.: An abstract machine for tabled execution of fixed-order stratified logic programs. Journal of the ACM TOPLAS\u00a020, 586\u2013635 (1998)","journal-title":"Journal of the ACM TOPLAS"},{"key":"10_CR61","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1018990308362","volume":"25","author":"T. Swift","year":"1999","unstructured":"Swift, T.: Tabling for non-monotonic reasoning. Annals of Mathematics and Artifcial Intelligence\u00a025, 201\u2013240 (1999)","journal-title":"Annals of Mathematics and Artifcial Intelligence"},{"key":"10_CR62","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-642-18859-6_9","volume-title":"Rough-Neural Computing","author":"P. Doherty","year":"2004","unstructured":"Doherty, P., Kachniarz, J., Sza\u0142as, A.: Using contextually closed queries for local closed-world reasoning in rough knowledge databases. In: Pal, S.K., Polkowski, L., Skowron, A. (eds.) Rough-Neural Computing, pp. 219\u2013250. Springer, Heidelberg (2004)"},{"key":"10_CR63","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-58495-1_9","volume-title":"Proc. of the Eighth International Symposium on Methodologies for Intelligent Systems","author":"L. Polkowski","year":"1994","unstructured":"Polkowski, L., Skowron, A.: Rough mereology. In: Proc. of the Eighth International Symposium on Methodologies for Intelligent Systems, pp. 85\u201394. Springer, Heidelberg (1994)"},{"key":"10_CR64","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0888-613X(96)00072-2","volume":"15","author":"L. Polkowski","year":"1997","unstructured":"Polkowski, L., Skowron, A.: Rough mereology: a new paradigm for approximate reasoning. International Journal of Approximate Reasoning\u00a015, 333\u2013365 (1997)","journal-title":"International Journal of Approximate Reasoning"},{"key":"10_CR65","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1111\/0824-7935.00159","volume":"17","author":"L. Polkowski","year":"2001","unstructured":"Polkowski, L., Skowron, A.: Rough mereological calculi of granules: A rough set approach to computation. Journal of Computational Intelligence\u00a017, 472\u2013492 (2001)","journal-title":"Journal of Computational Intelligence"},{"key":"10_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-45497-7_28","volume-title":"Medical Data Analysis","author":"H. Midelfart","year":"2001","unstructured":"Midelfart, H., L\u00e6greid, A., Komorowski, J.: Classification of gene expression data in an ontology. In: Crespo, J.L., Maojo, V., Martin, F. (eds.) ISMDA 2001. LNCS, vol.\u00a02199, pp. 186\u2013194. Springer, Heidelberg (2001)"},{"key":"10_CR67","unstructured":"Midelfart, H.: Knowledge Discovery from cDNA Microarrays and a priori Knowledge. PhD thesis, Department of Computer and Information Science, Norwegian University of Science and Technology, NO-7491 Trondheim, Norway (2003)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11574798_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:57:22Z","timestamp":1605643042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11574798_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540298304","9783540320166"],"references-count":67,"URL":"https:\/\/doi.org\/10.1007\/11574798_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}