Document Search Results

Golińska-Pilarek, Joanna; Huuskonen, Taneli; Zawidzki, Michał

Tableau-based decision procedure for non-Fregean logic of sentential identity. (English) Zbl 1540.03055

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 41-57 (2021).

MSC: 03B60 03B70 03F07 68Q25 68V15 68V20

Cite Review PDF

Full Text: DOI arXiv

OA License

Singh, Pankaj Kumar; Tiwari, Surabhi

Topological structures in rough set theory: a survey. (English) Zbl 1488.54036

Hacet. J. Math. Stat. 49, No. 4, 1270-1294 (2020).

MSC: 54A40 54-02

Cite Review PDF

Full Text: DOI

Yu, Zuoming; Wang, Dongqiang; Liang, Miao

Properties of approximation operators over 1-neighborhood systems from the perspective of special granules. (English) Zbl 1457.68269

Inf. Sci. 514, 234-243 (2020).

MSC: 68T37

Cite Review PDF

Full Text: DOI

Chlebowski, Szymon

Sequent calculi for \(\mathsf{SCI}\). (English) Zbl 1437.03165

Stud. Log. 106, No. 3, 541-563 (2018).

MSC: 03F07 03F05 03F03 03B60

Cite Review PDF

Full Text: DOI

OA License

Salama, A. S.; El-Barbary, O. G.

Topological approach to retrieve missing values in incomplete information systems. (English) Zbl 1382.68238

J. Egypt. Math. Soc. 25, No. 4, 419-423 (2017).

MSC: 68T37 54A05 54B05 54D35

Cite Review PDF

Full Text: DOI

OA License

Mareay, R.

Generalized rough sets based on neighborhood systems and topological spaces. (English) Zbl 1350.54011

J. Egypt. Math. Soc. 24, No. 4, 603-608 (2016).

MSC: 54A40 54A05 03E72

Cite Review PDF

Full Text: DOI

OA License

Bavafaye Haghighi, Elham; Palm, G.; Rahmati, M.; Yazdanpanah, M. J.

A new class of multi-stable neural networks: stability analysis and learning process. (English) Zbl 1394.68273

Neural Netw. 65, 53-64 (2015).

MSC: 68T05 34D20

Cite Review PDF

Full Text: DOI

Wang, Changzhong; He, Qiang; Chen, Degang; Hu, Qinghua

A novel method for attribute reduction of covering decision systems. (English) Zbl 1337.68257

Inf. Sci. 254, 181-196 (2014).

MSC: 68T37 68T05 68T10 68T20

Cite Review PDF

Full Text: DOI

Liu, Guilong

The relationship among different covering approximations. (English) Zbl 1321.03066

Inf. Sci. 250, 178-183 (2013).

MSC: 03E72

Cite Review PDF

Full Text: DOI

Tang, Jianguo; She, Kun; Zhu, William

Matroidal structure of rough sets from the viewpoint of graph theory. (English) Zbl 1259.03069

J. Appl. Math. 2012, Article ID 973920, 27 p. (2012).

MSC: 03E72 05B35 05C90

Cite Review PDF

Full Text: DOI

OA License

Yao, Yiyu; Yao, Bingxue

Covering based rough set approximations. (English) Zbl 1248.68496

Inf. Sci. 200, 91-107 (2012).

MSC: 68T37

Cite Review PDF

Full Text: DOI

Zhang, Xiaohong; Yao, Yiyu; Yu, Hong

Rough implication operator based on strong topological rough algebras. (English) Zbl 1202.03070

Inf. Sci. 180, No. 19, 3764-3780 (2010).

MSC: 03G25 03B50 03B52

Cite Review PDF

Full Text: DOI

Li, Fei; Yin, Yunqiang

Approaches to knowledge reduction of covering decision systems based on information theory. (English) Zbl 1179.68193

Inf. Sci. 179, No. 11, 1694-1704 (2009).

MSC: 68U35 68P30 94A17

Cite Review PDF

Full Text: DOI

Tripathy, B. K.

On approximation of classifications, rough equalities and rough equivalences. (English) Zbl 1189.68135

Abraham, Ajith (ed.) et al., Rough set theory: A true landmark in data analysis. Berlin: Springer (ISBN 978-3-540-89920-4/hbk; 978-3-540-89921-1/ebook). Studies in Computational Intelligence 174, 85-133 (2009).

MSC: 68T30

Cite Review PDF

Full Text: DOI

Grosu, R.; Bartocci, E.; Corradini, F.; Entcheva, E.; Smolka, S. A.; Wasilewska, A.

Learning and detecting emergent behavior in networks of cardiac myocytes. (English) Zbl 1144.92313

Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 229-243 (2008).

MSC: 92C50 92C05 92-08 68Q45 68Q60