Flaminio, Tommaso; Gilio, Angelo; Godo, Lluis; Sanfilippo, Giuseppe On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals. (English) Zbl 07713740 Int. J. Approx. Reasoning 159, Article ID 108943, 31 p. (2023). MSC: 68T37 PDF BibTeX XML Cite \textit{T. Flaminio} et al., Int. J. Approx. Reasoning 159, Article ID 108943, 31 p. (2023; Zbl 07713740) Full Text: DOI
Howlader, Prosenjit; Banerjee, Mohua A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts. (English) Zbl 07639180 Int. J. Approx. Reasoning 153, 115-143 (2023). MSC: 68T30 68T27 68T37 PDF BibTeX XML Cite \textit{P. Howlader} and \textit{M. Banerjee}, Int. J. Approx. Reasoning 153, 115--143 (2023; Zbl 07639180) Full Text: DOI arXiv
Sardar, Masiur Rahaman; Chakraborty, Mihir Kumar Some implicative topological quasi-Boolean algebras and rough set models. (English) Zbl 07581212 Int. J. Approx. Reasoning 148, 1-22 (2022). MSC: 68T37 PDF BibTeX XML Cite \textit{M. R. Sardar} and \textit{M. K. Chakraborty}, Int. J. Approx. Reasoning 148, 1--22 (2022; Zbl 07581212) Full Text: DOI
Flaminio, Tommaso; Godo, Lluis; Ugolini, Sara Canonical extension of possibility measures to Boolean algebras of conditionals. (English) Zbl 07542367 Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 543-556 (2021). MSC: 68T37 PDF BibTeX XML Cite \textit{T. Flaminio} et al., Lect. Notes Comput. Sci. 12897, 543--556 (2021; Zbl 07542367) Full Text: DOI
Pardo, Jérémie; Ivanov, Sergiu; Delaplace, Franck Sequential reprogramming of biological network fate. (English) Zbl 1507.92037 Theor. Comput. Sci. 872, 97-116 (2021). MSC: 92C42 68Q07 93C29 PDF BibTeX XML Cite \textit{J. Pardo} et al., Theor. Comput. Sci. 872, 97--116 (2021; Zbl 1507.92037) Full Text: DOI
Järvinen, Jouni; Radeleczki, Sándor The structure of multigranular rough sets. (English) Zbl 1497.68467 Fundam. Inform. 176, No. 1, 17-41 (2020). MSC: 68T37 06A75 06D10 PDF BibTeX XML Cite \textit{J. Järvinen} and \textit{S. Radeleczki}, Fundam. Inform. 176, No. 1, 17--41 (2020; Zbl 1497.68467) Full Text: DOI arXiv
Michalak, Marcin; Jaksik, Roman; Ślęzak, Dominik Heuristic search of exact biclusters in binary data. (English) Zbl 1464.62326 Int. J. Appl. Math. Comput. Sci. 30, No. 1, 161-171 (2020). MSC: 62H30 62P10 PDF BibTeX XML Cite \textit{M. Michalak} et al., Int. J. Appl. Math. Comput. Sci. 30, No. 1, 161--171 (2020; Zbl 1464.62326) Full Text: DOI
Zou, Li; Pang, Kuo; Song, Xiaoying; Kang, Ning; Liu, Xin A knowledge reduction approach for linguistic concept formal context. (English) Zbl 1458.68212 Inf. Sci. 524, 165-183 (2020). MSC: 68T30 62H25 68T37 PDF BibTeX XML Cite \textit{L. Zou} et al., Inf. Sci. 524, 165--183 (2020; Zbl 1458.68212) Full Text: DOI
Nguyen, Hung T. Conditional event algebras: the state-of-the-art. (English) Zbl 07285529 Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer. Stud. Comput. Intell. 835, 545-555 (2020). MSC: 68T37 PDF BibTeX XML Cite \textit{H. T. Nguyen}, Stud. Comput. Intell. 835, 545--555 (2020; Zbl 07285529) Full Text: DOI
Wang, Zhaohao; Feng, Qinrong; Wang, Hong The lattice and matroid representations of definable sets in generalized rough sets based on relations. (English) Zbl 1458.03041 Inf. Sci. 485, 505-520 (2019). MSC: 03E72 68T37 PDF BibTeX XML Cite \textit{Z. Wang} et al., Inf. Sci. 485, 505--520 (2019; Zbl 1458.03041) Full Text: DOI
Ma, Liwen; Lu, Hui Six-set approximation theorem of neighborhood related rough sets. (English) Zbl 1468.68239 Int. J. Approx. Reasoning 115, 180-193 (2019). MSC: 68T37 PDF BibTeX XML Cite \textit{L. Ma} and \textit{H. Lu}, Int. J. Approx. Reasoning 115, 180--193 (2019; Zbl 1468.68239) Full Text: DOI
Levit, Vadim; Komarovsky, Zohar; Grinshpoun, Tal; Bazzan, Ana L. C.; Meisels, Amnon Incentive-based search for equilibria in Boolean games. (English) Zbl 1427.91012 Constraints 24, No. 3-4, 288-319 (2019). MSC: 91A10 68W15 90C57 PDF BibTeX XML Cite \textit{V. Levit} et al., Constraints 24, No. 3--4, 288--319 (2019; Zbl 1427.91012) Full Text: DOI
Pardo, Jérémie; Ivanov, Sergiu; Delaplace, Franck Sequential reprogramming of biological network fate. (English) Zbl 1422.92060 Bortolussi, Luca (ed.) et al., Computational methods in systems biology. 17th international conference, CMSB 2019, Trieste, Italy, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11773, 20-41 (2019). MSC: 92C42 92C50 PDF BibTeX XML Cite \textit{J. Pardo} et al., Lect. Notes Comput. Sci. 11773, 20--41 (2019; Zbl 1422.92060) Full Text: DOI
Wang, Zhaohao; Wang, Hong; Feng, Qinrong The structures and the connections on four types of covering rough sets. (English) Zbl 1418.03164 Soft Comput. 23, No. 16, 6727-6741 (2019). MSC: 03E72 06D75 68T37 PDF BibTeX XML Cite \textit{Z. Wang} et al., Soft Comput. 23, No. 16, 6727--6741 (2019; Zbl 1418.03164) Full Text: DOI
Michalak, Marcin; Ślęzak, Dominik On Boolean representation of continuous data biclustering. (English) Zbl 1493.68307 Fundam. Inform. 167, No. 3, 193-217 (2019). MSC: 68T05 62H30 90C09 PDF BibTeX XML Cite \textit{M. Michalak} and \textit{D. Ślęzak}, Fundam. Inform. 167, No. 3, 193--217 (2019; Zbl 1493.68307) Full Text: DOI
Dujmović, Jozo Graded logic aggregation. (English) Zbl 1517.68355 Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 15th international conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11144, 3-12 (2018). MSC: 68T27 68T37 PDF BibTeX XML Cite \textit{J. Dujmović}, Lect. Notes Comput. Sci. 11144, 3--12 (2018; Zbl 1517.68355) Full Text: DOI
Biane, Célia; Delaplace, Franck; Melliti, Tarek Abductive network action inference for targeted therapy discovery. (English) Zbl 07513445 Sanguinetti, Guido (ed.) et al., Proceedings of the 7th international workshop on static analysis and systems biology (SASB 2016), University of Edinburgh, Scotland, UK, September 7, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 335, 3-25 (2018). MSC: 92C42 PDF BibTeX XML Cite \textit{C. Biane} et al., Electron. Notes Theor. Comput. Sci. 335, 3--25 (2018; Zbl 07513445) Full Text: DOI
De Clercq, Sofie; Schockaert, Steven; Nowé, Ann; De Cock, Martine Modelling incomplete information in Boolean games using possibilistic logic. (English) Zbl 1452.68184 Int. J. Approx. Reasoning 93, 1-23 (2018). MSC: 68T27 68T37 91A44 PDF BibTeX XML Cite \textit{S. De Clercq} et al., Int. J. Approx. Reasoning 93, 1--23 (2018; Zbl 1452.68184) Full Text: DOI Link
Li, Deqing; Zeng, Wenyi; Yin, Qian Novel ranking method of interval numbers based on the Boolean matrix. (English) Zbl 1398.03183 Soft Comput. 22, No. 12, 4113-4122 (2018). MSC: 03E72 68T37 91B06 PDF BibTeX XML Cite \textit{D. Li} et al., Soft Comput. 22, No. 12, 4113--4122 (2018; Zbl 1398.03183) Full Text: DOI
Michalak, Marcin; Ślȩzak, Dominik Boolean representation for exact biclustering. (English) Zbl 1398.68451 Fundam. Inform. 161, No. 3, 275-297 (2018). MSC: 68T05 62H30 68U10 PDF BibTeX XML Cite \textit{M. Michalak} and \textit{D. Ślȩzak}, Fundam. Inform. 161, No. 3, 275--297 (2018; Zbl 1398.68451) Full Text: DOI
Ma, Liwen The investigation of covering rough sets by Boolean matrices. (English) Zbl 1448.68421 Int. J. Approx. Reasoning 100, 69-84 (2018). MSC: 68T37 03E72 15B34 PDF BibTeX XML Cite \textit{L. Ma}, Int. J. Approx. Reasoning 100, 69--84 (2018; Zbl 1448.68421) Full Text: DOI
Schmidt, Gunther; Winter, Michael Relational topology. (English) Zbl 1411.54001 Lecture Notes in Mathematics 2208. Cham: Springer (ISBN 978-3-319-74450-6/pbk; 978-3-319-74451-3/ebook). xiv, 191 p. (2018). Reviewer: Hans Peter Künzi (Rondebosch) MSC: 54-02 54A99 06E99 PDF BibTeX XML Cite \textit{G. Schmidt} and \textit{M. Winter}, Relational topology. Cham: Springer (2018; Zbl 1411.54001) Full Text: DOI
Borkotokey, Surajit; Mesiar, Radko; Li, Jun Event-based transformations of capacities. (English) Zbl 1498.28002 Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 14th international conference, MDAI 2017, Kitakyushu, Japan, October 18–20, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10571, 33-39 (2017). MSC: 28A12 28E10 68T37 PDF BibTeX XML Cite \textit{S. Borkotokey} et al., Lect. Notes Comput. Sci. 10571, 33--39 (2017; Zbl 1498.28002) Full Text: DOI
Benferhat, Salem; Boutouhami, Khaoula; Khellaf, Faiza; Nouioua, Farid An integer 0-1 linear programming approach for computing inconsistency degree in product-based possibilistic DL-Lite. (English) Zbl 1498.68295 Moral, Serafín (ed.) et al., Scalable uncertainty management. 11th international conference, SUM 2017, Granada, Spain, October 4–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10564, 319-333 (2017). MSC: 68T27 68T30 68T37 90C09 PDF BibTeX XML Cite \textit{S. Benferhat} et al., Lect. Notes Comput. Sci. 10564, 319--333 (2017; Zbl 1498.68295) Full Text: DOI
More, Anuj Kumar; Banerjee, Mohua New algebras and logic from a category of rough sets. (English) Zbl 1489.68293 Polkowski, Lech (ed.) et al., Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10313, 95-108 (2017). MSC: 68T37 03B20 03G05 06E75 18B25 68T27 PDF BibTeX XML Cite \textit{A. K. More} and \textit{M. Banerjee}, Lect. Notes Comput. Sci. 10313, 95--108 (2017; Zbl 1489.68293) Full Text: DOI
Biane, Célia; Delaplace, Franck Abduction based drug target discovery using Boolean control network. (English) Zbl 1416.92086 Feret, Jérôme (ed.) et al., Computational methods in systems biology. 15th international conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10545, 57-73 (2017). MSC: 92C50 92C42 PDF BibTeX XML Cite \textit{C. Biane} and \textit{F. Delaplace}, Lect. Notes Comput. Sci. 10545, 57--73 (2017; Zbl 1416.92086) Full Text: DOI HAL
Stawicki, Sebastian; Ślęzak, Dominik; Janusz, Andrzej; Widz, Sebastian Decision bireducts and decision reducts – a comparison. (English) Zbl 1419.68178 Int. J. Approx. Reasoning 84, 75-109 (2017). MSC: 68T37 68T20 PDF BibTeX XML Cite \textit{S. Stawicki} et al., Int. J. Approx. Reasoning 84, 75--109 (2017; Zbl 1419.68178) Full Text: DOI
Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel On Boolean algebras of conditionals and their logical counterpart. (English) Zbl 1491.68203 Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 246-256 (2017). MSC: 68T27 03G05 68T37 PDF BibTeX XML Cite \textit{T. Flaminio} et al., Lect. Notes Comput. Sci. 10369, 246--256 (2017; Zbl 1491.68203) Full Text: DOI Link
Mundici, Daniele; Picardi, Claudia Faulty sets of Boolean formulas and Łukasiewicz logic. (English) Zbl 1404.68170 J. Log. Comput. 27, No. 2, 497-507 (2017). MSC: 68T37 03B50 03B52 68T27 PDF BibTeX XML Cite \textit{D. Mundici} and \textit{C. Picardi}, J. Log. Comput. 27, No. 2, 497--507 (2017; Zbl 1404.68170) Full Text: DOI
Umadevi, D. Characterizing topological quasi-Boolean algebras from weakly topological quasi-Boolean algebras. (English) Zbl 1374.06032 Acta Math. Univ. Comen., New Ser. 86, No. 1, 1-8 (2017). MSC: 06D75 06D30 03G25 06B20 68T37 PDF BibTeX XML Cite \textit{D. Umadevi}, Acta Math. Univ. Comen., New Ser. 86, No. 1, 1--8 (2017; Zbl 1374.06032)
Sanahuja, Silvia M. New rough approximations for \(n\)-cycles and \(n\)-paths. (English) Zbl 1410.68355 Appl. Math. Comput. 276, 96-108 (2016). MSC: 68T37 68R10 PDF BibTeX XML Cite \textit{S. M. Sanahuja}, Appl. Math. Comput. 276, 96--108 (2016; Zbl 1410.68355) Full Text: DOI
Khan, Md. Aquil Multiple-source approximation systems, evolving information systems and corresponding logics: a study in rough set theory. (English) Zbl 1398.68542 Peters, James F. (ed.) et al., Transactions on Rough Sets XX. Berlin: Springer (ISBN 978-3-662-53610-0/pbk; 978-3-662-53611-7/ebook). Lecture Notes in Computer Science 10020. Journal Subline, 146-320 (2016). MSC: 68T37 03B62 06E25 68T27 PDF BibTeX XML Cite \textit{Md. A. Khan}, Lect. Notes Comput. Sci. 10020, 146--320 (2016; Zbl 1398.68542) Full Text: DOI
Zhang, Junbo; Zhu, Yun; Pan, Yi; Li, Tianrui Efficient parallel Boolean matrix based algorithms for computing composite rough set approximations. (English) Zbl 1390.68687 Inf. Sci. 329, 287-302 (2016). MSC: 68T37 15B34 PDF BibTeX XML Cite \textit{J. Zhang} et al., Inf. Sci. 329, 287--302 (2016; Zbl 1390.68687) Full Text: DOI
Qin, Bin; Zeng, Fanping; Yan, Kesong Similarity of binary relations based on \(L\)-fuzzy topologies. (English) Zbl 1370.68280 Soft Comput. 20, No. 9, 3497-3504 (2016). MSC: 68T37 03E72 54A40 PDF BibTeX XML Cite \textit{B. Qin} et al., Soft Comput. 20, No. 9, 3497--3504 (2016; Zbl 1370.68280) Full Text: DOI
Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar What we can learn from conflicts in propositional satisfiability. (English) Zbl 1411.91118 Ann. Oper. Res. 240, No. 1, 13-37 (2016). MSC: 91A26 68W30 90C09 91-04 PDF BibTeX XML Cite \textit{Y. Hamadi} et al., Ann. Oper. Res. 240, No. 1, 13--37 (2016; Zbl 1411.91118) Full Text: DOI
Liu, Guilong Matrix approaches for variable precision rough approximations. (English) Zbl 1444.68231 Ciucci, Davide (ed.) et al., Rough sets and knowledge technology. 10th international conference, RSKT 2015, held as part of the international joint conference on rough sets, IJCRS 2015, Tianjin, China, November 20–23, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9436, 214-221 (2015). MSC: 68T37 PDF BibTeX XML Cite \textit{G. Liu}, Lect. Notes Comput. Sci. 9436, 214--221 (2015; Zbl 1444.68231) Full Text: DOI
Steinbach, Bernd; Posthoff, Christian Highly complex 4-colored rectangle-free grids – solution unsolved multiple-valued problems. (English) Zbl 1393.05126 J. Mult.-Val. Log. Soft Comput. 24, No. 1-4, 369-404 (2015). MSC: 05C15 06A07 05-04 68T37 PDF BibTeX XML Cite \textit{B. Steinbach} and \textit{C. Posthoff}, J. Mult.-Val. Log. Soft Comput. 24, No. 1--4, 369--404 (2015; Zbl 1393.05126) Full Text: Link
Dragović, Ivana; Turajlić, Nina; Pilčević, Dejan; Petrović, Bratislav; Radojević, Dragan A Boolean consistent fuzzy inference system for diagnosing diseases and its application for determining peritonitis likelihood. (English) Zbl 1343.92219 Comput. Math. Methods Med. 2015, Article ID 147947, 10 p. (2015). MSC: 92C50 90C70 68T37 90C09 PDF BibTeX XML Cite \textit{I. Dragović} et al., Comput. Math. Methods Med. 2015, Article ID 147947, 10 p. (2015; Zbl 1343.92219) Full Text: DOI
Miclet, Laurent; Prade, Henri Analogical proportions and square of oppositions. (English) Zbl 1418.68194 Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 443, 324-334 (2014). MSC: 68T27 68T30 PDF BibTeX XML Cite \textit{L. Miclet} and \textit{H. Prade}, Commun. Comput. Inf. Sci. 443, 324--334 (2014; Zbl 1418.68194) Full Text: DOI
Tomé, José Alberto; Carvalho, Joao Paulo Fuzzy Boolean nets – a nature inspired model for learning and reasoning. (English) Zbl 1334.68193 Fuzzy Sets Syst. 253, 1-27 (2014). MSC: 68T05 68T37 PDF BibTeX XML Cite \textit{J. A. Tomé} and \textit{J. P. Carvalho}, Fuzzy Sets Syst. 253, 1--27 (2014; Zbl 1334.68193) Full Text: DOI
Wang, Shiping; Zhu, William; Zhu, Qingxin; Min, Fan Characteristic matrix of covering and its application to Boolean matrix decomposition. (English) Zbl 1328.68232 Inf. Sci. 263, 186-197 (2014). MSC: 68T37 15B34 PDF BibTeX XML Cite \textit{S. Wang} et al., Inf. Sci. 263, 186--197 (2014; Zbl 1328.68232) Full Text: DOI
Chen, Zehua; Ma, He; Zhang, Yu A rapid granular method for minimization of Boolean functions. (English) Zbl 1323.68486 Miao, Duoqian (ed.) et al., Rough sets and knowledge technology. 9th international conference, RSKT 2014, Shanghai, China, October 24–26, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-11739-3/pbk; 978-3-319-11740-9/ebook). Lecture Notes in Computer Science 8818. Lecture Notes in Artificial Intelligence, 577-585 (2014). MSC: 68T37 68T20 94C10 PDF BibTeX XML Cite \textit{Z. Chen} et al., Lect. Notes Comput. Sci. 8818, 577--585 (2014; Zbl 1323.68486) Full Text: DOI
Lang, Guangming; Li, Qingguo; Cai, Mingjie; Xiao, Qimei Incremental approaches to computing approximations of sets in dynamic covering approximation spaces. (English) Zbl 1323.68498 Miao, Duoqian (ed.) et al., Rough sets and knowledge technology. 9th international conference, RSKT 2014, Shanghai, China, October 24–26, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-11739-3/pbk; 978-3-319-11740-9/ebook). Lecture Notes in Computer Science 8818. Lecture Notes in Artificial Intelligence, 510-521 (2014). MSC: 68T37 PDF BibTeX XML Cite \textit{G. Lang} et al., Lect. Notes Comput. Sci. 8818, 510--521 (2014; Zbl 1323.68498) Full Text: DOI
Jensen, Richard; Tuson, Andrew; Shen, Qiang Finding rough and fuzzy-rough set reducts with SAT. (English) Zbl 1320.68189 Inf. Sci. 255, 100-120 (2014). MSC: 68T37 PDF BibTeX XML Cite \textit{R. Jensen} et al., Inf. Sci. 255, 100--120 (2014; Zbl 1320.68189) Full Text: DOI Link
Aguirre, F.; Destercke, S.; Dubois, D.; Sallak, M.; Jacob, C. Inclusion-exclusion principle for belief functions. (English) Zbl 1433.68437 Int. J. Approx. Reasoning 55, No. 8, 1708-1727 (2014). MSC: 68T37 60A86 PDF BibTeX XML Cite \textit{F. Aguirre} et al., Int. J. Approx. Reasoning 55, No. 8, 1708--1727 (2014; Zbl 1433.68437) Full Text: DOI
Schmidt, Renate A.; Tishkovsky, Dmitry Using tableau to decide description logics with full role negation and identity. (English) Zbl 1287.03031 ACM Trans. Comput. Log. 15, No. 1, Article No. 7, 31 p. (2014). MSC: 03B35 03B45 68T27 PDF BibTeX XML Cite \textit{R. A. Schmidt} and \textit{D. Tishkovsky}, ACM Trans. Comput. Log. 15, No. 1, Article No. 7, 31 p. (2014; Zbl 1287.03031) Full Text: DOI arXiv
Nguyen, Hung Son; Skowron, Andrzej Rough sets: from rudiments to challenges. (English) Zbl 1327.68008 Skowron, Andrzej (ed.) et al., Rough sets and intelligent systems – Professor Zdzisław Pawlak in memoriam. Volume 1. Foreword by Roman Słowiński. Berlin: Springer (ISBN 978-3-642-30343-2/hbk; 978-3-642-30344-9/ebook). Intelligent Systems Reference Library 42, 75-173 (2013). MSC: 68-03 68T30 68T37 PDF BibTeX XML Cite \textit{H. S. Nguyen} and \textit{A. Skowron}, Intell. Syst. Ref. Libr. 42, 75--173 (2013; Zbl 1327.68008) Full Text: DOI
Barták, Roman; Černoch, Radomír; Kuželka, Ondřej; Železný, Filip Formulating the template ILP consistency problem as a constraint satisfaction problem. (English) Zbl 1309.90054 Constraints 18, No. 2, 144-165 (2013). MSC: 90C09 PDF BibTeX XML Cite \textit{R. Barták} et al., Constraints 18, No. 2, 144--165 (2013; Zbl 1309.90054) Full Text: DOI
Wahbi, Mohamed; Ezzahir, Redouane; Bessiere, Christian; Bouyakhf, El Houssine Nogood-based asynchronous forward checking algorithms. (English) Zbl 1327.90113 Constraints 18, No. 3, 404-433 (2013). MSC: 90C09 PDF BibTeX XML Cite \textit{M. Wahbi} et al., Constraints 18, No. 3, 404--433 (2013; Zbl 1327.90113) Full Text: DOI
Zuo, Weibing Randomized truth degree of formulas based on premise information on finite Boolean semantics. (Chinese. English summary) Zbl 1289.68175 J. Math., Wuhan Univ. 33, No. 3, 493-500 (2013). MSC: 68T37 68T27 PDF BibTeX XML Cite \textit{W. Zuo}, J. Math., Wuhan Univ. 33, No. 3, 493--500 (2013; Zbl 1289.68175)
Nagarajan, E. K. R.; Umadevi, D. Algebra of rough sets based on quasi order. (English) Zbl 1348.03060 Fundam. Inform. 126, No. 1, 83-101 (2013). MSC: 03G25 68T30 68T37 PDF BibTeX XML Cite \textit{E. K. R. Nagarajan} and \textit{D. Umadevi}, Fundam. Inform. 126, No. 1, 83--101 (2013; Zbl 1348.03060)
Jung, Achim; Rowe, Jonathan E. Convergence of preference functions. (English) Zbl 1293.68267 Theor. Comput. Sci. 488, 66-77 (2013). MSC: 68T37 68T05 91B08 06E05 PDF BibTeX XML Cite \textit{A. Jung} and \textit{J. E. Rowe}, Theor. Comput. Sci. 488, 66--77 (2013; Zbl 1293.68267) Full Text: DOI
Chikalov, Igor; Lozin, Vadim; Lozina, Irina; Moshkov, Mikhail; Nguyen, Hung Son; Skowron, Andrzej; Zielosko, Beata Three approaches to data analysis. Test theory, rough sets and logical analysis of data. (English) Zbl 1254.68005 Intelligent Systems Reference Library 41. Berlin: Springer (ISBN 978-3-642-28666-7/hbk; 978-3-642-28667-4/ebook). xviii, 202 p. (2013). Reviewer: Ion Iancu (Craiova) MSC: 68-02 68P05 68T05 68T10 68T27 68T37 PDF BibTeX XML Cite \textit{I. Chikalov} et al., Three approaches to data analysis. Test theory, rough sets and logical analysis of data. Berlin: Springer (2013; Zbl 1254.68005) Full Text: DOI
Zhang, Qin Dynamic uncertain causality graph for knowledge representation and reasoning: discrete DAG cases. (English) Zbl 1280.68256 J. Comput. Sci. Technol. 27, No. 1, 1-23 (2012). MSC: 68T30 68T37 94C10 PDF BibTeX XML Cite \textit{Q. Zhang}, J. Comput. Sci. Technol. 27, No. 1, 1--23 (2012; Zbl 1280.68256) Full Text: DOI
Wang, Shiping; Zhu, Qingxin; Zhu, Feng; Min, Fan Matrix representation and axiomatization of neighborhood-based rough sets. (Chinese. English summary) Zbl 1289.68167 J. Hefei Univ. Technol., Nat. Sci. 35, No. 12, 1624-1627 (2012). MSC: 68T37 PDF BibTeX XML Cite \textit{S. Wang} et al., J. Hefei Univ. Technol., Nat. Sci. 35, No. 12, 1624--1627 (2012; Zbl 1289.68167) Full Text: DOI
Koppelberg, Sabine; Düntsch, Ivo; Winter, Michael Remarks on contact relations on Boolean algebras. (English) Zbl 1294.06015 Algebra Univers. 68, No. 3-4, 353-366 (2012). MSC: 06E25 PDF BibTeX XML Cite \textit{S. Koppelberg} et al., Algebra Univers. 68, No. 3--4, 353--366 (2012; Zbl 1294.06015) Full Text: DOI
Pichon, Frédéric; Dubois, Didier; Denœux, Thierry Relevance and truthfulness in information correction and fusion. (English) Zbl 1242.68338 Int. J. Approx. Reasoning 53, No. 2, 159-175 (2012). MSC: 68T37 PDF BibTeX XML Cite \textit{F. Pichon} et al., Int. J. Approx. Reasoning 53, No. 2, 159--175 (2012; Zbl 1242.68338) Full Text: DOI
Ghanim, M. H.; Mustafa, H. I.; Abd El Aziz, S. On lower and upper intension order relations by different cover concepts. (English) Zbl 1242.68313 Inf. Sci. 181, No. 17, 3723-3734 (2011). MSC: 68T30 06D15 06E05 68T37 PDF BibTeX XML Cite \textit{M. H. Ghanim} et al., Inf. Sci. 181, No. 17, 3723--3734 (2011; Zbl 1242.68313) Full Text: DOI
Bouchet, Agustina; Pastore, Juan Ignacio; Andrade, Rafael Espin; Brun, Marcel; Ballarin, Virginia Arithmetic mean based compensatory fuzzy logic. (English) Zbl 1222.68387 Int. J. Comput. Intell. Appl. 10, No. 2, 231-243 (2011). MSC: 68T37 PDF BibTeX XML Cite \textit{A. Bouchet} et al., Int. J. Comput. Intell. Appl. 10, No. 2, 231--243 (2011; Zbl 1222.68387) Full Text: DOI
Pipatsrisawat, Knot; Darwiche, Adnan On decomposability and interaction functions. (English) Zbl 1211.68440 Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 9-14 (2010). MSC: 68T37 06E30 68P05 68T30 PDF BibTeX XML Cite \textit{K. Pipatsrisawat} and \textit{A. Darwiche}, Front. Artif. Intell. Appl. 215, 9--14 (2010; Zbl 1211.68440) Full Text: DOI
Pipatsrisawat, Knot; Darwiche, Adnan Top-down algorithms for constructing structured DNNF: theoretical and practical implications. (English) Zbl 1211.68439 Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 3-8 (2010). MSC: 68T37 06E30 68P05 68T30 PDF BibTeX XML Cite \textit{K. Pipatsrisawat} and \textit{A. Darwiche}, Front. Artif. Intell. Appl. 215, 3--8 (2010; Zbl 1211.68439) Full Text: DOI
Bayoudh, Meriam; Prade, Henri; Richard, Gilles A Kolmogorov complexity view of analogy: from logical modeling to experimentations. (English) Zbl 1208.68209 Bramer, Max (ed.) et al., Research and development in intelligent systems XXVII. Incorporating applications and innovations in intelligent systems XVIII. Proceedings of the AI-2010, the 30th SGAI international conference on innovative techniques and applications of artificial intelligence, Cambridge, UK, December 2010. London: Springer (ISBN 978-0-85729-129-5/pbk; 978-0-85729-130-1/ebook). 93-106 (2011). MSC: 68T27 68Q30 68T50 PDF BibTeX XML Cite \textit{M. Bayoudh} et al., in: Research and development in intelligent systems XXVII. Incorporating applications and innovations in intelligent systems XVIII. Proceedings of the AI-2010, the 30th SGAI international conference on innovative techniques and applications of artificial intelligence, Cambridge, UK, December 2010. London: Springer. 93--106 (2010; Zbl 1208.68209) Full Text: DOI
Balbiani, Philippe; Tinchev, Tinko Boolean logics with relations. (English) Zbl 1206.03019 J. Log. Algebr. Program. 79, No. 8, 707-721 (2010). Reviewer: Bernhard Heinemann (Hagen) MSC: 03B45 68T27 PDF BibTeX XML Cite \textit{P. Balbiani} and \textit{T. Tinchev}, J. Log. Algebr. Program. 79, No. 8, 707--721 (2010; Zbl 1206.03019) Full Text: DOI
Mrkalj, Milan Aggregated similarity measures and their applications in theory of decision making and quality management. (Serbian. English summary) Zbl 1249.90351 Mladenović, Nenad (ed.) et al., XXXVI Simpozijum o operacionim istraživanjima, SYM-OP-IS 2009. Zbornik Radova. Beograd: Matematički Institut SANU (ISBN 978-86-80953-43-4). 369-372 (2009). Reviewer: Dragan Urošević (Beograd) MSC: 90C70 90C29 90B50 PDF BibTeX XML Cite \textit{M. Mrkalj}, in: XXXVI Simpozijum o operacionim istraživanjima, SYM-OP-IS 2009. Zbornik Radova. Beograd: Matematički Institut SANU. 369--372 (2009; Zbl 1249.90351)
An, Liping; Chen, Zengqiang A sorting decision model based on binary relations and Boolean reasoning. (Chinese. English summary) Zbl 1212.90180 J. Syst. Eng. 24, No. 6, 701-709 (2009). MSC: 90B50 68T37 PDF BibTeX XML Cite \textit{L. An} and \textit{Z. Chen}, J. Syst. Eng. 24, No. 6, 701--709 (2009; Zbl 1212.90180) Full Text: DOI
Lu, Qiang; Liu, Xiaoping Research on simplifying the function tree based on Boolean algebra. (Chinese. English summary) Zbl 1212.68378 J. Hefei Univ. Technol., Nat. Sci. 32, No. 7, 1025-1029 (2009). MSC: 68U07 03G05 PDF BibTeX XML Cite \textit{Q. Lu} and \textit{X. Liu}, J. Hefei Univ. Technol., Nat. Sci. 32, No. 7, 1025--1029 (2009; Zbl 1212.68378)
Yang, Lingyun; Xu, Luoshan Algebraic aspects of generalized approximation spaces. (English) Zbl 1200.06004 Int. J. Approx. Reasoning 51, No. 1, 151-161 (2009). MSC: 06D10 06E10 68T37 PDF BibTeX XML Cite \textit{L. Yang} and \textit{L. Xu}, Int. J. Approx. Reasoning 51, No. 1, 151--161 (2009; Zbl 1200.06004) Full Text: DOI
Fujita, Masahiro Model checking and equivalence checking. (English) Zbl 1209.68318 Pradhan, Dihraj K. (ed.) et al., Practical design verification. Cambridge: Cambridge University Press (ISBN 978-0-521-85972-1/hbk). 1-50 (2009). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Fujita}, in: Practical design verification. Cambridge: Cambridge University Press. 1--50 (2009; Zbl 1209.68318)
Bychkov, O. S. On consistent continuation of measures of necessity and possibility. (Ukrainian. English summary) Zbl 1199.68400 Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2009, No. 6, 7-13 (2009). MSC: 68T37 PDF BibTeX XML Cite \textit{O. S. Bychkov}, Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2009, No. 6, 7--13 (2009; Zbl 1199.68400)
Narizzano, Massimo; Peschiera, Claudia; Pulina, Luca; Tacchella, Armando Evaluating and certifying QBFs: a comparison of state-of-the-art tools. (English) Zbl 1186.68440 AI Commun. 22, No. 4, 191-210 (2009). MSC: 68T20 68Q60 PDF BibTeX XML Cite \textit{M. Narizzano} et al., AI Commun. 22, No. 4, 191--210 (2009; Zbl 1186.68440) Full Text: DOI
Le Berre, Daniel; Marquis, Pierre; Öztürk, Meltem Aggregating interval orders by propositional optimization. (English) Zbl 1260.91072 Rossi, Francesca (ed.) et al., Algorithmic decision theory. First international conference, ADT 2009, Venice, Italy, October 20–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04427-4/pbk). Lecture Notes in Computer Science 5783. Lecture Notes in Artificial Intelligence, 249-260 (2009). MSC: 91B08 68T20 91B14 PDF BibTeX XML Cite \textit{D. Le Berre} et al., Lect. Notes Comput. Sci. 5783, 249--260 (2009; Zbl 1260.91072) Full Text: DOI
Kondo, Michiro Algebraic properties of generalized rough sets. (English) Zbl 1177.03071 Fundam. Inform. 94, No. 1, 41-48 (2009). MSC: 03G25 06E10 68T30 68T37 PDF BibTeX XML Cite \textit{M. Kondo}, Fundam. Inform. 94, No. 1, 41--48 (2009; Zbl 1177.03071) Full Text: DOI
D’Agostino, Marcello; Floridi, Luciano The enduring scandal of deduction. Is propositional logic really uninformative? (English) Zbl 1172.03003 Synthese 167, No. 2, 271-315 (2009). MSC: 03A05 03B05 03F20 PDF BibTeX XML Cite \textit{M. D'Agostino} and \textit{L. Floridi}, Synthese 167, No. 2, 271--315 (2009; Zbl 1172.03003) Full Text: DOI
Yu, Peng; Shi, Shengnan The properties of metric Boolean algebras and their application to approximate reasoning in \(F(S)\). (Chinese. English summary) Zbl 1199.03052 J. Ningxia Univ., Nat. Sci. Ed. 29, No. 2, 97-100 (2008). MSC: 03G05 03G25 68T37 PDF BibTeX XML Cite \textit{P. Yu} and \textit{S. Shi}, J. Ningxia Univ., Nat. Sci. Ed. 29, No. 2, 97--100 (2008; Zbl 1199.03052)
Zhou, Hongjun; Wang, Guojun Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic). (English) Zbl 1176.03008 Fuzzy Sets Syst. 159, No. 22, 2970-2982 (2008). MSC: 03B50 03B52 68T37 PDF BibTeX XML Cite \textit{H. Zhou} and \textit{G. Wang}, Fuzzy Sets Syst. 159, No. 22, 2970--2982 (2008; Zbl 1176.03008) Full Text: DOI
Liu, Qiuyun; Fu, Xuefeng; Wu, Genxiu Rough operators on the transferable belief model and its applications. (Chinese. English summary) Zbl 1174.68653 J. Jiangxi Norm. Univ., Nat. Sci. Ed. 32, No. 2, 246-248 (2008). MSC: 68T37 68T30 PDF BibTeX XML Cite \textit{Q. Liu} et al., J. Jiangxi Norm. Univ., Nat. Sci. Ed. 32, No. 2, 246--248 (2008; Zbl 1174.68653)
Cuzzolin, Fabio A lattice-theoretic interpretation of independence of frames. (English) Zbl 1160.68032 Huynh, Van-Nam (ed.) et al., Interval/probabilistic uncertainty and non-classical logics. Berlin: Springer (ISBN 978-3-540-77663-5/hbk). Advances in Soft Computing 46, 214-227 (2008). MSC: 68T37 06C10 06D22 PDF BibTeX XML Cite \textit{F. Cuzzolin}, Adv. Soft Comput. 46, 214--227 (2008; Zbl 1160.68032)
Dai, Jian-Hua Rough 3-valued algebras. (English) Zbl 1134.06008 Inf. Sci. 178, No. 8, 1986-1996 (2008). MSC: 06D30 68T30 68T37 PDF BibTeX XML Cite \textit{J.-H. Dai}, Inf. Sci. 178, No. 8, 1986--1996 (2008; Zbl 1134.06008) Full Text: DOI
Arieli, Ofer Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. (English) Zbl 1367.68274 ACM Trans. Comput. Log. 8, No. 3, Article No. 18, 29 p. (2007). MSC: 68T27 03B50 03B53 68T15 PDF BibTeX XML Cite \textit{O. Arieli}, ACM Trans. Comput. Log. 8, No. 3, Article No. 18, 29 p. (2007; Zbl 1367.68274) Full Text: DOI
Holeňa, Martin Measures of ruleset quality capable to represent uncertain validity. (English) Zbl 1148.68435 Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31–November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 430-442 (2007). MSC: 68T05 68T37 PDF BibTeX XML Cite \textit{M. Holeňa}, Lect. Notes Comput. Sci. 4724, 430--442 (2007; Zbl 1148.68435) Full Text: DOI
Aiello, Marco (ed.); Pratt-Hartmann, Ian (ed.); van Benthem, Johan (ed.) Handbook of spatial logics. (English) Zbl 1172.03001 Dordrecht: Springer (ISBN 978-1-4020-5586-7/hbk). xxii, 1058 p. (2007). Reviewer: Bernhard Heinemann (Hagen) MSC: 03-00 03B10 03B45 03B70 03B80 03G05 03G30 68P15 68T27 68U10 PDF BibTeX XML Cite \textit{M. Aiello} (ed.) et al., Handbook of spatial logics. Dordrecht: Springer (2007; Zbl 1172.03001) Full Text: DOI
Smarandache, Florentin An algorithm for the unification of fusion theories (UFT). (English) Zbl 1146.68461 Int. J. Appl. Math. 20, No. 3, 293-314 (2007). MSC: 68T37 PDF BibTeX XML Cite \textit{F. Smarandache}, Int. J. Appl. Math. 20, No. 3, 293--314 (2007; Zbl 1146.68461)
Carvalho, João Paulo; Tomé, José Qualitative optimization of fuzzy causal rule bases using fuzzy Boolean nets. (English) Zbl 1137.68604 Fuzzy Sets Syst. 158, No. 17, 1931-1946 (2007). MSC: 68T37 PDF BibTeX XML Cite \textit{J. P. Carvalho} and \textit{J. Tomé}, Fuzzy Sets Syst. 158, No. 17, 1931--1946 (2007; Zbl 1137.68604) Full Text: DOI
Düntsch, Ivo; Vakarelov, Dimiter Region-based theory of discrete spaces: A proximity approach. (English) Zbl 1124.68105 Ann. Math. Artif. Intell. 49, No. 1-4, 5-14 (2007). MSC: 68T27 06E25 54E05 68T30 68U05 PDF BibTeX XML Cite \textit{I. Düntsch} and \textit{D. Vakarelov}, Ann. Math. Artif. Intell. 49, No. 1--4, 5--14 (2007; Zbl 1124.68105) Full Text: DOI
Pawlak, Zdzisław; Skowron, Andrzej Rough sets and Boolean reasoning. (English) Zbl 1142.68551 Inf. Sci. 177, No. 1, 41-73 (2007). MSC: 68T37 68T05 68T10 PDF BibTeX XML Cite \textit{Z. Pawlak} and \textit{A. Skowron}, Inf. Sci. 177, No. 1, 41--73 (2007; Zbl 1142.68551) Full Text: DOI Link
Pawlak, Zdzisław; Skowron, Andrzej Rudiments of rough sets. (English) Zbl 1142.68549 Inf. Sci. 177, No. 1, 3-27 (2007). MSC: 68T37 PDF BibTeX XML Cite \textit{Z. Pawlak} and \textit{A. Skowron}, Inf. Sci. 177, No. 1, 3--27 (2007; Zbl 1142.68549) Full Text: DOI
Nguyen, Hung Son Approximate Boolean reasoning: Foundations and applications in data mining. (English) Zbl 1136.68497 Peters, James F. (ed.) et al., Transactions on Rough Sets V. Berlin: Springer (ISBN 978-3-540-39382-5/pbk). Lecture Notes in Computer Science 4100. Journal Subline, 334-506 (2006). MSC: 68T05 68T37 PDF BibTeX XML Cite \textit{H. S. Nguyen}, Lect. Notes Comput. Sci. 4100, 334--506 (2006; Zbl 1136.68497) Full Text: DOI
Ślȩzak, Dominik Association reducts: Boolean representation. (English) Zbl 1196.68271 Wang, Guoyin (ed.) et al., Rough sets and knowledge technology. First international conference, RSKT 2006, Chongqing, China, July 24–26, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36297-5/pbk). Lecture Notes in Computer Science 4062. Lecture Notes in Artificial Intelligence, 305-312 (2006). MSC: 68T37 PDF BibTeX XML Cite \textit{D. Ślȩzak}, Lect. Notes Comput. Sci. 4062, 305--312 (2006; Zbl 1196.68271) Full Text: DOI
Trillas, E.; Renedo, E.; Alsina, C. A short note on lattices allowing disjunctive reasoning. (English) Zbl 1119.03064 Mathware Soft Comput. 13, No. 2, 135-137 (2006). Reviewer: Florentina Chirteş (Craiova) MSC: 03G05 06D30 06C15 PDF BibTeX XML Cite \textit{E. Trillas} et al., Mathware Soft Comput. 13, No. 2, 135--137 (2006; Zbl 1119.03064) Full Text: EuDML
Narizzano, Massimo; Pulina, Luca; Tacchella, Armando Report of the third QBF solvers evaluation. (English) Zbl 1116.68089 J. Satisf. Boolean Model. Comput. 2, No. 1-4, 145-164 (2006). MSC: 68T20 PDF BibTeX XML Cite \textit{M. Narizzano} et al., J. Satisf. Boolean Model. Comput. 2, No. 1--4, 145--164 (2006; Zbl 1116.68089)
Inuiguchi, Masahiro Attribute reduction in variable precision rough set model. (English) Zbl 1110.68147 Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 14, No. 4, 461-479 (2006). MSC: 68T37 PDF BibTeX XML Cite \textit{M. Inuiguchi}, Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 14, No. 4, 461--479 (2006; Zbl 1110.68147) Full Text: DOI
Liu, Gui-Long Rough sets over the Boolean algebras. (English) Zbl 1134.68510 Ślȩzak, Dominik (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 10th international conference, RSFDGrC 2005, Regina, Canada, August 31 – September 3, 2005. Proceedings, Part I. Berlin: Springer (ISBN 3-540-28653-5/pbk). Lecture Notes in Computer Science 3641. Lecture Notes in Artificial Intelligence, 124-131 (2005). MSC: 68T30 68T37 06E05 PDF BibTeX XML Cite \textit{G.-L. Liu}, Lect. Notes Comput. Sci. 3641, 124--131 (2005; Zbl 1134.68510) Full Text: DOI
Nguyen, Hung Son Approximate Boolean reasoning approach to rough sets and data mining. (English) Zbl 1155.68532 Ślȩzak, Dominik (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 10th international conference, RSFDGrC 2005, Regina, Canada, August 31 – September 3, 2005. Proceedings, Part II. Berlin: Springer (ISBN 3-540-28660-8/pbk). Lecture Notes in Computer Science 3642. Lecture Notes in Artificial Intelligence, 12-22 (2005). MSC: 68T37 68T05 PDF BibTeX XML Cite \textit{H. S. Nguyen}, Lect. Notes Comput. Sci. 3642, 12--22 (2005; Zbl 1155.68532) Full Text: DOI
Li, Sanjiang; Ying, Mingsheng; Li, Yongming On countable RCC models. (English) Zbl 1096.68146 Fundam. Inform. 65, No. 4, 329-351 (2005). MSC: 68T30 68T27 PDF BibTeX XML Cite \textit{S. Li} et al., Fundam. Inform. 65, No. 4, 329--351 (2005; Zbl 1096.68146)
Düntsch, Ivo; Winter, Michael A representation theorem for Boolean contact algebras. (English) Zbl 1085.03046 Theor. Comput. Sci. 347, No. 3, 498-512 (2005). MSC: 03G25 03B35 68T15 PDF BibTeX XML Cite \textit{I. Düntsch} and \textit{M. Winter}, Theor. Comput. Sci. 347, No. 3, 498--512 (2005; Zbl 1085.03046) Full Text: DOI
Grégoire, Éric; Ostrowski, Richard; Mazure, Bertrand; Saïs, Lakhdar Automatic extraction of functional dependencies. (English) Zbl 1122.68597 Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 122-132 (2005). MSC: 68T20 PDF BibTeX XML Cite \textit{É. Grégoire} et al., Lect. Notes Comput. Sci. 3542, 122--132 (2005; Zbl 1122.68597) Full Text: DOI
Qi, Guilin; Liu, Weiru Rough operations on Boolean algebras. (English) Zbl 1074.03025 Inf. Sci. 173, No. 1-3, 49-63 (2005). MSC: 03E72 06E99 68T37 94D05 PDF BibTeX XML Cite \textit{G. Qi} and \textit{W. Liu}, Inf. Sci. 173, No. 1--3, 49--63 (2005; Zbl 1074.03025) Full Text: DOI Link
Wang, Guojun; Song, Qingyan; Song, Yujing Metric structures on Boolean algebras and an application to propositional logic. (English) Zbl 1286.06019 Acta Math. Sin. 47, No. 2, 317-326 (2004). MSC: 06E05 03B05 03G05 54E35 68T37 PDF BibTeX XML Cite \textit{G. Wang} et al., Acta Math. Sin. 47, No. 2, 317--326 (2004; Zbl 1286.06019)
Li, Sanjiang; Ying, Mingsheng Generalized region connection calculus. (English) Zbl 1086.68131 Artif. Intell. 160, No. 1-2, 1-34 (2004). MSC: 68T27 PDF BibTeX XML Cite \textit{S. Li} and \textit{M. Ying}, Artif. Intell. 160, No. 1--2, 1--34 (2004; Zbl 1086.68131) Full Text: DOI
Düntsch, Ivo; Winter, Michael Construction of Boolean contact algebras. (English) Zbl 1070.03042 AI Commun. 17, No. 4, 235-246 (2004). MSC: 03G05 68T27 PDF BibTeX XML Cite \textit{I. Düntsch} and \textit{M. Winter}, AI Commun. 17, No. 4, 235--246 (2004; Zbl 1070.03042)