van der Berg, Ineke; De Domenico, Andrea; Greco, Giuseppe; Manoorkar, Krishna B.; Palmigiano, Alessandra; Panettiere, Mattia Labelled calculi for the logics of rough concepts. (English) Zbl 07728696 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 172-188 (2023). MSC: 03Bxx 68T27 PDFBibTeX XMLCite \textit{I. van der Berg} et al., Lect. Notes Comput. Sci. 13963, 172--188 (2023; Zbl 07728696) Full Text: DOI
Li, Tong-Jun; Xu, Zhen-Zhen; Wu, Ming-Rui; Wu, Wei-Zhi Attribute reduction of crisp-crisp concept lattices based on three-way decisions. (English) Zbl 1524.68367 Yao, JingTao (ed.) et al., Rough sets. International joint conference, IJCRS 2022, Suzhou, China, November 11–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13633, 361-375 (2022). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{T.-J. Li} et al., Lect. Notes Comput. Sci. 13633, 361--375 (2022; Zbl 1524.68367) Full Text: DOI
Sakurai, Taro On formal concepts of random formal contexts. (English) Zbl 07779154 Inf. Sci. 578, 615-620 (2021). MSC: 68T30 PDFBibTeX XMLCite \textit{T. Sakurai}, Inf. Sci. 578, 615--620 (2021; Zbl 07779154) Full Text: DOI arXiv
Koyda, Maren; Stumme, Gerd Boolean substructures in formal concept analysis. (English) Zbl 07493551 Braud, Agnès (ed.) et al., Formal concept analysis. 16th international conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12733, 38-53 (2021). MSC: 68T30 PDFBibTeX XMLCite \textit{M. Koyda} and \textit{G. Stumme}, Lect. Notes Comput. Sci. 12733, 38--53 (2021; Zbl 07493551) Full Text: DOI arXiv
Yu, Zhe; Ju, Shier Getting consensus through a context-based argumentation framework. (English) Zbl 1484.68237 Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 132-145 (2021). MSC: 68T27 PDFBibTeX XMLCite \textit{Z. Yu} and \textit{S. Ju}, in: Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18--20 2021, Hangzhou, China. London: College Publications. 132--145 (2021; Zbl 1484.68237)
Lin, Yidong; Li, Jinjin; Wang, Hongkun Granular matrix method of attribute reduction in formal contexts. (English) Zbl 1491.68219 Soft Comput. 24, No. 21, 16303-16314 (2020). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{Y. Lin} et al., Soft Comput. 24, No. 21, 16303--16314 (2020; Zbl 1491.68219) Full Text: DOI
Li, Shuangling; Qin, Keyun Attribute reduction in L-fuzzy formal contexts. (English) Zbl 1474.68348 Ann. Fuzzy Math. Inform. 19, No. 2, 127-137 (2020). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{S. Li} and \textit{K. Qin}, Ann. Fuzzy Math. Inform. 19, No. 2, 127--137 (2020; Zbl 1474.68348) Full Text: DOI
Britz, Katarina; Varzinczak, Ivan Preferential tableaux for contextual defeasible \(\mathcal{ALC}\). (English) Zbl 1435.68312 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 39-57 (2019). MSC: 68T27 68T30 68V15 PDFBibTeX XMLCite \textit{K. Britz} and \textit{I. Varzinczak}, Lect. Notes Comput. Sci. 11714, 39--57 (2019; Zbl 1435.68312) Full Text: DOI
Chen, Jinkun; Mi, Jusheng; Xie, Bin; Lin, Yaojin A fast attribute reduction method for large formal decision contexts. (English) Zbl 1456.68189 Int. J. Approx. Reasoning 106, 1-17 (2019). MSC: 68T30 PDFBibTeX XMLCite \textit{J. Chen} et al., Int. J. Approx. Reasoning 106, 1--17 (2019; Zbl 1456.68189) Full Text: DOI
Li, Tong-Jun; Wu, Wei-Zhi; Yang, Xiao-Ping Tolerance relations and rough approximations in incomplete contexts. (English) Zbl 1518.68373 Nguyen, Hung Son (ed.) et al., Rough sets. International joint conference, IJCRS 2018, Quy Nhon, Vietnam, August 20–24, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11103, 533-545 (2018). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{T.-J. Li} et al., Lect. Notes Comput. Sci. 11103, 533--545 (2018; Zbl 1518.68373) Full Text: DOI
Alcalde, Cristina; Burusco, Ana Study of the relevance of objects and attributes of \(L\)-fuzzy contexts using overlap indexes. (English) Zbl 1512.68320 Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 853, 537-548 (2018). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{C. Alcalde} and \textit{A. Burusco}, Commun. Comput. Inf. Sci. 853, 537--548 (2018; Zbl 1512.68320) Full Text: DOI
Antoni, Lubomir; Krajči, Stanislav; Krídlo, Ondrej On fuzzy generalizations of concept lattices. (English) Zbl 1429.68268 Kóczy, László T. (ed.) et al., Interactions between computational intelligence and mathematics. Cham: Springer. Stud. Comput. Intell. 758, 79-103 (2018). MSC: 68T30 06D72 PDFBibTeX XMLCite \textit{L. Antoni} et al., Stud. Comput. Intell. 758, 79--103 (2018; Zbl 1429.68268) Full Text: DOI
Li, Tongjun; Huang, Jiawen; Wu, Weizhi Attribute reduction of incomplete contexts based on similarity relations. (Chinese. English summary) Zbl 1424.68180 J. Shandong Univ., Nat. Sci. 53, No. 8, 9-16, 24 (2018). MSC: 68T37 68T30 PDFBibTeX XMLCite \textit{T. Li} et al., J. Shandong Univ., Nat. Sci. 53, No. 8, 9--16, 24 (2018; Zbl 1424.68180) Full Text: DOI
Barash, Mikhail; Okhotin, Alexander Generalized LR parsing algorithm for grammars with one-sided contexts. (English) Zbl 1379.68192 Theory Comput. Syst. 61, No. 2, 581-605 (2017). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Barash} and \textit{A. Okhotin}, Theory Comput. Syst. 61, No. 2, 581--605 (2017; Zbl 1379.68192) Full Text: DOI
Rudolph, Sebastian Succinctness and tractability of closure operator representations. (English) Zbl 1418.06001 Theor. Comput. Sci. 658, Part B, 327-345 (2017). MSC: 06A15 68T30 PDFBibTeX XMLCite \textit{S. Rudolph}, Theor. Comput. Sci. 658, Part B, 327--345 (2017; Zbl 1418.06001) Full Text: DOI
Alcalde, Cristina; Burusco, Ana Knowledge extraction from \(L\)-fuzzy hypercontexts. (English) Zbl 1455.68198 Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 12-22 (2016). MSC: 68T30 PDFBibTeX XMLCite \textit{C. Alcalde} and \textit{A. Burusco}, Commun. Comput. Inf. Sci. 611, 12--22 (2016; Zbl 1455.68198) Full Text: DOI
Zhang, Zhiming; Zheng, Jiping; Wang, Yongge UC-PSkyline: probabilistic skyline queries over uncertain contexts. (English) Zbl 1398.68126 Huang, De-Shuang (ed.) et al., Intelligent computing methodologies. 12th international conference, ICIC 2016, Lanzhou, China, August 2–5, 2016. Proceedings. Part III. Cham: Springer (ISBN 978-3-319-42296-1/pbk; 978-3-319-42297-8/ebook). Lecture Notes in Computer Science 9773. Lecture Notes in Artificial Intelligence, 616-628 (2016). MSC: 68P15 68P05 68T37 PDFBibTeX XMLCite \textit{Z. Zhang} et al., Lect. Notes Comput. Sci. 9773, 616--628 (2016; Zbl 1398.68126) Full Text: DOI
Li, Tong-Jun; Wu, Wei-Zhi; Gu, Shen-Ming Rough approximations induced by orthocomplementations in formal contexts. (English) Zbl 1398.68546 Flores, Víctor (ed.) et al., Rough sets. International joint conference, IJCRS 2016, Santiago de Chile, Chile, October 7–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47159-4/pbk; 978-3-319-47160-0/ebook). Lecture Notes in Computer Science 9920. Lecture Notes in Artificial Intelligence, 97-106 (2016). MSC: 68T37 68T30 PDFBibTeX XMLCite \textit{T.-J. Li} et al., Lect. Notes Comput. Sci. 9920, 97--106 (2016; Zbl 1398.68546) Full Text: DOI
Wang, Hong; Cui, Pin-Zhi Analysis of interval-valued decision formal contexts. (English) Zbl 1361.68266 J. Intell. Fuzzy Syst. 29, No. 4, 1565-1574 (2015). MSC: 68T37 68T30 PDFBibTeX XMLCite \textit{H. Wang} and \textit{P.-Z. Cui}, J. Intell. Fuzzy Syst. 29, No. 4, 1565--1574 (2015; Zbl 1361.68266) Full Text: DOI
Chen, Jinkun; Li, Jinjin; Lin, Yaojin; Lin, Guoping; Ma, Zhouming Relations of reduction between covering generalized rough sets and concept lattices. (English) Zbl 1360.68803 Inf. Sci. 304, 16-27 (2015). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{J. Chen} et al., Inf. Sci. 304, 16--27 (2015; Zbl 1360.68803) Full Text: DOI
Li, Mei-Zheng; Wang, Guo-Yin Knowledge reduction in crisply generated fuzzy concept lattices. (English) Zbl 1346.68193 Fundam. Inform. 142, No. 1-4, 307-335 (2015). MSC: 68T30 PDFBibTeX XMLCite \textit{M.-Z. Li} and \textit{G.-Y. Wang}, Fundam. Inform. 142, No. 1--4, 307--335 (2015; Zbl 1346.68193) Full Text: DOI
Barash, Mikhail; Okhotin, Alexander Linear grammars with one-sided contexts and their automaton representation. (English) Zbl 1328.68100 RAIRO, Theor. Inform. Appl. 49, No. 2, 153-178 (2015). MSC: 68Q42 68Q80 PDFBibTeX XMLCite \textit{M. Barash} and \textit{A. Okhotin}, RAIRO, Theor. Inform. Appl. 49, No. 2, 153--178 (2015; Zbl 1328.68100) Full Text: DOI Link
Barash, Mikhail; Okhotin, Alexander Two-sided context specifications in formal grammars. (English) Zbl 1408.68086 Theor. Comput. Sci. 591, 134-153 (2015). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Barash} and \textit{A. Okhotin}, Theor. Comput. Sci. 591, 134--153 (2015; Zbl 1408.68086) Full Text: DOI
Buzmakov, Aleksey; Kuznetsov, Sergei O.; Napoli, Amedeo Revisiting pattern structure projections. (English) Zbl 1312.68183 Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 200-215 (2015). MSC: 68T30 68T05 PDFBibTeX XMLCite \textit{A. Buzmakov} et al., Lect. Notes Comput. Sci. 9113, 200--215 (2015; Zbl 1312.68183) Full Text: DOI arXiv
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina A general theory of barbs, contexts, and labels. (English) Zbl 1354.68189 ACM Trans. Comput. Log. 15, No. 4, Article No. 35, 27 p. (2014). MSC: 68Q85 68Q55 68Q60 PDFBibTeX XMLCite \textit{F. Bonchi} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 35, 27 p. (2014; Zbl 1354.68189) Full Text: DOI
Ling, Miran; Mi, Jusheng; Ma, Li Heterogeneous formal contexts for uncertainty reasoning. (Chinese. English summary) Zbl 1313.68220 J. Shandong Univ., Nat. Sci. 49, No. 8, 28-32 (2014). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{M. Ling} et al., J. Shandong Univ., Nat. Sci. 49, No. 8, 28--32 (2014; Zbl 1313.68220)
Barash, Mikhail; Okhotin, Alexander An extension of context-free grammars with one-sided context specifications. (English) Zbl 1360.68531 Inf. Comput. 237, 268-293 (2014). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Barash} and \textit{A. Okhotin}, Inf. Comput. 237, 268--293 (2014; Zbl 1360.68531) Full Text: DOI
Danvy, Olivier; Zerny, Ian Three syntactic theories for combinatory graph reduction. (English) Zbl 1353.68040 ACM Trans. Comput. Log. 14, No. 4, Article No. 29, 27 p. (2013). MSC: 68N18 03B40 05C90 PDFBibTeX XMLCite \textit{O. Danvy} and \textit{I. Zerny}, ACM Trans. Comput. Log. 14, No. 4, Article No. 29, 27 p. (2013; Zbl 1353.68040) Full Text: DOI
Denniston, Jeffrey T.; Melton, Austin; Rodabaugh, Stephen E. Formal concept analysis and lattice-valued Chu systems. (English) Zbl 1320.06004 Fuzzy Sets Syst. 216, 52-90 (2013). Reviewer: Jiří Močkoř (Ostrava) MSC: 06A15 06B75 68T30 PDFBibTeX XMLCite \textit{J. T. Denniston} et al., Fuzzy Sets Syst. 216, 52--90 (2013; Zbl 1320.06004) Full Text: DOI
Li, Tong-Jun; Li, Ming-Zhi; Gao, Yu Attribute reduction of concept lattice based on irreducible elements. (English) Zbl 1277.68259 Int. J. Wavelets Multiresolut. Inf. Process. 11, No. 6, Article ID 1350046, 24 p. (2013). MSC: 68T30 PDFBibTeX XMLCite \textit{T.-J. Li} et al., Int. J. Wavelets Multiresolut. Inf. Process. 11, No. 6, Article ID 1350046, 24 p. (2013; Zbl 1277.68259) Full Text: DOI
Orejas, Fernando; Boronat, Artur; Golas, Ulrike; Mylonakis, Nikos Checking bisimilarity for attributed graph transformation. (English) Zbl 1260.68275 Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 113-128 (2013). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Orejas} et al., Lect. Notes Comput. Sci. 7794, 113--128 (2013; Zbl 1260.68275) Full Text: DOI
Bliudze, Simon; Bruni, Roberto; Carbone, Marco; Silva, Alexandru Towards interaction reliability in concurrent applications. (English) Zbl 1424.68100 Sci. Ann. Comput. Sci. 22, No. 1, 1-4 (2012). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{S. Bliudze} et al., Sci. Ann. Comput. Sci. 22, No. 1, 1--4 (2012; Zbl 1424.68100)
Shao, Mingwen; Wu, Xiwen; Guo, Li Relationship between data change and concept lattice structure. (Chinese. English summary) Zbl 1274.68499 Chin. J. Eng. Math. 29, No. 4, 529-539 (2012). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{M. Shao} et al., Chin. J. Eng. Math. 29, No. 4, 529--539 (2012; Zbl 1274.68499)
Balbiani, Philippe Deciding the word problem in pure double Boolean algebras. (English) Zbl 1283.06027 J. Appl. Log. 10, No. 3, 260-273 (2012). MSC: 06E75 03B25 03D40 68T30 PDFBibTeX XMLCite \textit{P. Balbiani}, J. Appl. Log. 10, No. 3, 260--273 (2012; Zbl 1283.06027) Full Text: DOI
Orejas, Fernando; Boronat, Artur; Mylonakis, Nikos Borrowed contexts for attributed graphs. (English) Zbl 1367.68148 Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 126-140 (2012). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{F. Orejas} et al., Lect. Notes Comput. Sci. 7562, 126--140 (2012; Zbl 1367.68148) Full Text: DOI Link
Jipsen, Peter Categories of algebraic contexts equivalent to idempotent semirings and domain semirings. (English) Zbl 1364.68337 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 195-206 (2012). MSC: 68T30 06A12 16Y60 18A23 18B99 PDFBibTeX XMLCite \textit{P. Jipsen}, Lect. Notes Comput. Sci. 7560, 195--206 (2012; Zbl 1364.68337) Full Text: DOI
de Paiva, Valeria Bridges from language to logic: concepts, contexts and ontologies. (English) Zbl 1347.03058 Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 83-94 (2011). MSC: 03B65 68T30 PDFBibTeX XMLCite \textit{V. de Paiva}, Electron. Notes Theor. Comput. Sci. 269, 83--94 (2011; Zbl 1347.03058) Full Text: DOI
Li, Tong-Jun; Wu, Wei-Zhi Attribute reduction in formal contexts: a covering rough set approach. (English) Zbl 1237.68214 Fundam. Inform. 111, No. 1, 15-32 (2011). MSC: 68T30 PDFBibTeX XMLCite \textit{T.-J. Li} and \textit{W.-Z. Wu}, Fundam. Inform. 111, No. 1, 15--32 (2011; Zbl 1237.68214) Full Text: Link
Alcalde, C.; Burusco, A.; Fuentes-González, R.; Zubia, I. The use of linguistic variables and fuzzy propositions in the \(L\)-fuzzy concept theory. (English) Zbl 1232.68117 Comput. Math. Appl. 62, No. 8, 3111-3122 (2011). MSC: 68T30 06D72 PDFBibTeX XMLCite \textit{C. Alcalde} et al., Comput. Math. Appl. 62, No. 8, 3111--3122 (2011; Zbl 1232.68117) Full Text: DOI
Kaiser, Tim B. On the connection between many-valued contexts and general geometric structures. (English) Zbl 1213.68603 Ann. Math. Artif. Intell. 59, No. 2, 169-185 (2010). MSC: 68T30 06B23 51D15 PDFBibTeX XMLCite \textit{T. B. Kaiser}, Ann. Math. Artif. Intell. 59, No. 2, 169--185 (2010; Zbl 1213.68603) Full Text: DOI
Jiang, Feng; Sui, Yuefei; Cao, Cungen Relational contexts and relational concepts. (English) Zbl 1204.68215 Fundam. Inform. 99, No. 3, 293-314 (2010). MSC: 68T30 PDFBibTeX XMLCite \textit{F. Jiang} et al., Fundam. Inform. 99, No. 3, 293--314 (2010; Zbl 1204.68215) Full Text: DOI
Alcalde, Cristina; Burusco, Ana; Fuentes-González, Ramón Interval-valued linguistic variables: an application to the L-fuzzy contexts with absent values. (English) Zbl 1190.68060 Int. J. Gen. Syst. 39, No. 3, 255-270 (2010). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{C. Alcalde} et al., Int. J. Gen. Syst. 39, No. 3, 255--270 (2010; Zbl 1190.68060) Full Text: DOI
Djouadi, Yassine; Prade, Henri Interval-valued fuzzy Galois connections: algebraic requirements and concept lattice construction. (English) Zbl 1205.68403 Fundam. Inform. 99, No. 2, 169-186 (2010). MSC: 68T30 03B52 06A15 06B75 68T37 PDFBibTeX XMLCite \textit{Y. Djouadi} and \textit{H. Prade}, Fundam. Inform. 99, No. 2, 169--186 (2010; Zbl 1205.68403) Full Text: DOI
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina Labelled transitions for mobile ambients (as synthesized via a graphical encoding). (English) Zbl 1291.68281 Hildebrandt, Thomas (ed.) et al., Proceedings of the 15th international workshop on expressiveness in concurrency (EXPRESS 2008), Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 242, No. 1, 73-98 (2009). MSC: 68Q85 68R10 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Electron. Notes Theor. Comput. Sci. 242, No. 1, 73--98 (2009; Zbl 1291.68281) Full Text: DOI
Gabbay, Murdoch J.; Lengrand, Stéphane The lambda-context calculus (extended version). (English) Zbl 1192.68137 Inf. Comput. 207, No. 12, 1369-1400 (2009). MSC: 68N18 PDFBibTeX XMLCite \textit{M. J. Gabbay} and \textit{S. Lengrand}, Inf. Comput. 207, No. 12, 1369--1400 (2009; Zbl 1192.68137) Full Text: DOI
Hsieh, Jun-Wei; Hsu, Yung-Tai Boosted string representation and its application to video surveillance. (English) Zbl 1147.68676 Pattern Recognition 41, No. 10, 3078-3091 (2008). MSC: 68T10 PDFBibTeX XMLCite \textit{J.-W. Hsieh} and \textit{Y.-T. Hsu}, Pattern Recognition 41, No. 10, 3078--3091 (2008; Zbl 1147.68676) Full Text: DOI
Zschalig, Christian The number of plane diagrams of a lattice. (English) Zbl 1132.06002 Medina, Raoul (ed.) et al., Formal concept analysis. 6th international conference, ICFCA 2008, Montreal, Canada, February 25–28, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78137-0/pbk). Lecture Notes in Computer Science 4933. Lecture Notes in Artificial Intelligence, 106-123 (2008). MSC: 06B05 05C10 68T30 PDFBibTeX XMLCite \textit{C. Zschalig}, Lect. Notes Comput. Sci. 4933, 106--123 (2008; Zbl 1132.06002) Full Text: DOI
Nogueira, Vitor; Abreu, Salvador Temporal contextual logic programming. (English) Zbl 1279.68042 López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 219-233 (2007). MSC: 68N17 03B44 03B70 PDFBibTeX XMLCite \textit{V. Nogueira} and \textit{S. Abreu}, Electron. Notes Theor. Comput. Sci. 177, 219--233 (2007; Zbl 1279.68042) Full Text: DOI
Fenwick, Peter Burrows-Wheeler compression: Principles and reflections. (English) Zbl 1144.68018 Theor. Comput. Sci. 387, No. 3, 200-219 (2007). MSC: 68P30 PDFBibTeX XMLCite \textit{P. Fenwick}, Theor. Comput. Sci. 387, No. 3, 200--219 (2007; Zbl 1144.68018) Full Text: DOI
Biernacka, Małgorzata; Danvy, Olivier A syntactic correspondence between context-sensitive calculi and abstract machines. (English) Zbl 1111.68065 Theor. Comput. Sci. 375, No. 1-3, 76-108 (2007). MSC: 68Q55 68N18 68Q45 PDFBibTeX XMLCite \textit{M. Biernacka} and \textit{O. Danvy}, Theor. Comput. Sci. 375, No. 1--3, 76--108 (2007; Zbl 1111.68065) Full Text: DOI
Katsumata, Shin-ya; Nishimura, Susumu Algebraic fusion of functions with an accumulating parameter and its improvement. (English) Zbl 1321.68170 Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 227-238 (2006). MSC: 68N19 68N30 68P05 68Q55 PDFBibTeX XMLCite \textit{S.-y. Katsumata} and \textit{S. Nishimura}, in: Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP '06, Portland, OR, USA, September 18--20, 2006. New York, NY: Association for Computing Machinery (ACM). 227--238 (2006; Zbl 1321.68170) Full Text: DOI
Tanaka, Miki; Power, John A unified category-theoretic semantics for binding signatures in substructural logics. (English) Zbl 1105.03072 J. Log. Comput. 16, No. 1, 5-25 (2006). MSC: 03G30 03B47 18D10 68N30 PDFBibTeX XMLCite \textit{M. Tanaka} and \textit{J. Power}, J. Log. Comput. 16, No. 1, 5--25 (2006; Zbl 1105.03072) Full Text: DOI
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri Context logic and tree update. (English) Zbl 1369.68132 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 271-282 (2005). MSC: 68N30 03B70 68P05 68Q42 PDFBibTeX XMLCite \textit{C. Calcagno} et al., in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '05, Long Beach, CA, USA, January 12--14, 2005. New York, NY: Association for Computing Machinery (ACM). 271--282 (2005; Zbl 1369.68132) Full Text: DOI Link
Klinger, Julia The logic system of protoconcept graphs. (English) Zbl 1098.03027 Berichte aus der Mathematik. Aachen: Shaker Verlag; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Dissertation) (ISBN 3-8322-4204-X/pbk). 162 p. (2005). MSC: 03B42 03-02 68T30 PDFBibTeX XMLCite \textit{J. Klinger}, The logic system of protoconcept graphs. Aachen: Shaker Verlag; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Dissertation) (2005; Zbl 1098.03027)
Wan, Kaiyu; Alagar, Vasu; Paquet, Joey Real time reactive programming in Lucid enriched with contexts. (English) Zbl 1108.68357 Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2004. First international colloquium, Guiyang, China, September 20–24, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25304-1/pbk). Lecture Notes in Computer Science 3407, 387-402 (2005). MSC: 68N15 PDFBibTeX XMLCite \textit{K. Wan} et al., Lect. Notes Comput. Sci. 3407, 387--402 (2005; Zbl 1108.68357) Full Text: DOI
Tse, Stephen; Zdancewic, Steve Translating dependency into parametricity. (English) Zbl 1323.68168 Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 115-125 (2004). MSC: 68N18 03B70 PDFBibTeX XMLCite \textit{S. Tse} and \textit{S. Zdancewic}, in: Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP '04, Uppsala, Snowbird, UT, USA, September 19--21, 2004. New York, NY: Association for Computing Machinery (ACM). 115--125 (2004; Zbl 1323.68168) Full Text: DOI
Ford, Jonathan; Mason, Ian A. Formal foundations of operational semantics. (English) Zbl 1074.68033 High.-Order Symb. Comput. 16, No. 3, 161-202 (2003). MSC: 68Q55 68T15 PDFBibTeX XMLCite \textit{J. Ford} and \textit{I. A. Mason}, High.-Order Symb. Comput. 16, No. 3, 161--202 (2003; Zbl 1074.68033) Full Text: DOI
Berregeb, Narjes; Robbana, Riadh; Tiwari, Ashish Towards automated proofs of observational properties. (English) Zbl 1036.68062 Discrete Math. Theor. Comput. Sci. 6, No. 1, 143-162 (2003). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{N. Berregeb} et al., Discrete Math. Theor. Comput. Sci. 6, No. 1, 143--162 (2003; Zbl 1036.68062) Full Text: EuDML EMIS
Burusco, Ana; Fuentes-Gonzalez, Ramon Concepts associated to criteria: a method for knowledge processing from fuzzy contexts. (English) Zbl 1158.68508 Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 10, No. 2, 173-184 (2002). MSC: 68T37 PDFBibTeX XMLCite \textit{A. Burusco} and \textit{R. Fuentes-Gonzalez}, Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 10, No. 2, 173--184 (2002; Zbl 1158.68508) Full Text: DOI
Besnard, Philippe; Tan, Yao-Hua Context-dependent natural deduction for non-monotonic reasoning. (English) Zbl 0996.03016 Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 249-266 (2001). MSC: 03B60 68T27 PDFBibTeX XMLCite \textit{P. Besnard} and \textit{Y.-H. Tan}, in: Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 249--266 (2001; Zbl 0996.03016)
Ghidini, C.; Giunchiglia, F. Local Models Semantics, or contextual reasoning = locality + compatibility. (English) Zbl 0969.68141 Artif. Intell. 127, No. 2, 221-259 (2001). MSC: 68T30 68Q55 PDFBibTeX XMLCite \textit{C. Ghidini} and \textit{F. Giunchiglia}, Artif. Intell. 127, No. 2, 221--259 (2001; Zbl 0969.68141) Full Text: DOI
Greenwald, Amy; Friedman, Eric J.; Shenker, Scott Learning in network contexts: experimental results from simulations. (English) Zbl 1028.91519 Games Econ. Behav. 35, No. 1-2, 80-123 (2001). MSC: 91A28 68T05 91A90 PDFBibTeX XMLCite \textit{A. Greenwald} et al., Games Econ. Behav. 35, No. 1--2, 80--123 (2001; Zbl 1028.91519) Full Text: DOI Link
Giunchiglia, Enrico; Giunchiglia, Fausto Ideal and real belief about belief. (English) Zbl 1004.03011 J. Log. Comput. 11, No. 1, 157-192 (2001). MSC: 03B42 68T27 PDFBibTeX XMLCite \textit{E. Giunchiglia} and \textit{F. Giunchiglia}, J. Log. Comput. 11, No. 1, 157--192 (2001; Zbl 1004.03011) Full Text: DOI Link
Großkopf, Anja Conceptual structures of finite abelian group contexts. (English) Zbl 1060.06500 Berichte aus der Mathematik. Aachen: Shaker Verlag; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Thesis) (ISBN 3-8265-8115-6/pbk). 74 p. (2000). MSC: 06-02 68-02 68T30 06B99 20K01 PDFBibTeX XMLCite \textit{A. Großkopf}, Conceptual structures of finite abelian group contexts. Aachen: Shaker Verlag; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Thesis) (2000; Zbl 1060.06500)
Gabbay, Dov M.; Nossum, Rolf T. Structured contexts with fibred semantics. (English) Zbl 0963.03051 Bonzon, Pierre (ed.) et al., Formal aspects of context. 1st international and interdisciplinary conference on modelling and using context, Rio de Janeiro, Brazil, January 1997. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 20, 193-209 (2000). MSC: 03B70 68T35 68T27 03B65 PDFBibTeX XMLCite \textit{D. M. Gabbay} and \textit{R. T. Nossum}, Appl. Log. Ser. 20, 193--209 (2000; Zbl 0963.03051)
Motschnig-Pitrik, R. A generic framework for the modeling of contexts and its applications. (English) Zbl 0939.68595 Data Knowl. Eng. 32, No. 2, 145-180 (2000). MSC: 68P05 68P15 PDFBibTeX XMLCite \textit{R. Motschnig-Pitrik}, Data Knowl. Eng. 32, No. 2, 145--180 (2000; Zbl 0939.68595) Full Text: DOI
Lengnink, Katja Similarity as distance in concept lattices. (Ähnlichkeit als Distanz in Begriffsverbänden.) (German) Zbl 0960.68145 Stumme, G. (ed.) et al., Begriffliche Wissensverarbeitung. Methoden und Anwendungen. Berlin: Springer. 57-71 (2000). Reviewer: Bohdan Zelinka (Liberec) MSC: 68T30 68R10 PDFBibTeX XMLCite \textit{K. Lengnink}, in: Begriffliche Wissensverarbeitung. Methoden und Anwendungen. Berlin: Springer. 57--71 (2000; Zbl 0960.68145)
Ganter, Bernhard; Wille, Rudolf Contextual attribute logic. (English) Zbl 0938.03048 Tepfenhart, William (ed.) et al., Conceptual structures: Standards and practices. 7th international conference, ICCS ‘99, Blacksburg, VA, USA, July 12-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1640, 377-388 (1999). MSC: 03B60 68T30 PDFBibTeX XMLCite \textit{B. Ganter} and \textit{R. Wille}, Lect. Notes Comput. Sci. 1640, 377--388 (1999; Zbl 0938.03048)
Mason, Ian A. Computing with contexts. (English) Zbl 0936.03016 High.-Order Symb. Comput. 12, No. 2, 171-201 (1999). MSC: 03B40 03B70 68T15 68Q55 03B35 68N18 PDFBibTeX XMLCite \textit{I. A. Mason}, High.-Order Symb. Comput. 12, No. 2, 171--201 (1999; Zbl 0936.03016) Full Text: DOI
de Groote, Philippe The non-associative Lambek calculus with product in polynomial time. (English) Zbl 0933.03017 Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 128-139 (1999). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B47 03B25 03D15 68Q25 PDFBibTeX XMLCite \textit{P. de Groote}, Lect. Notes Comput. Sci. 1617, 128--139 (1999; Zbl 0933.03017)
Pitts, Andrew; Stark, Ian Operational reasoning for functions with local state. (English) Zbl 0967.68035 Gordon, Andrew D. (ed.) et al., Higher order operational techniques in semantics. Papers from the HOOTS workshop, Cambridge, UK, October 1995. Cambridge: Cambridge University Press. Publ. Newton Inst. 12, 227-273 (1998). MSC: 68N18 PDFBibTeX XMLCite \textit{A. Pitts} and \textit{I. Stark}, Publ. Newton Inst. 12, 227--273 (1998; Zbl 0967.68035)
Burusco, A.; Fuentes-González, R. Construction of the \(L\)-fuzzy concept lattice. (English) Zbl 0927.06006 Fuzzy Sets Syst. 97, No. 1, 109-114 (1998). MSC: 06B99 68T30 68T05 03E72 06B23 PDFBibTeX XMLCite \textit{A. Burusco} and \textit{R. Fuentes-González}, Fuzzy Sets Syst. 97, No. 1, 109--114 (1998; Zbl 0927.06006) Full Text: DOI
Su, Kaile; Chen, Huowang; Liu, Haiyan A hierarchical logic of context. (English) Zbl 0922.03024 J. Nanjing Univ., Math. Biq. 15, No. 2, 147-155 (1998). MSC: 03B45 68T27 68T30 PDFBibTeX XMLCite \textit{K. Su} et al., J. Nanjing Univ., Math. Biq. 15, No. 2, 147--155 (1998; Zbl 0922.03024)
Dami, Laurent A lambda-calculus for dynamic binding. (English) Zbl 0895.68015 Theor. Comput. Sci. 192, No. 2, 201-231 (1998). MSC: 68N15 PDFBibTeX XMLCite \textit{L. Dami}, Theor. Comput. Sci. 192, No. 2, 201--231 (1998; Zbl 0895.68015) Full Text: DOI
Mitrana, Victor Parallelism in contextual grammars. (English) Zbl 0902.68110 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 33, No. 3, 281-294 (1998). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{V. Mitrana}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 33, No. 3, 281--294 (1998; Zbl 0902.68110)
Attardi, Giuseppe; Simi, Maria Communication across viewpoints. (English) Zbl 0892.03008 J. Logic Lang. Inf. 7, No. 1, 53-75 (1998). MSC: 03B65 68T30 PDFBibTeX XMLCite \textit{G. Attardi} and \textit{M. Simi}, J. Logic Lang. Inf. 7, No. 1, 53--75 (1998; Zbl 0892.03008) Full Text: DOI
Pagliani, Piero Information gaps as communication needs: A new semantic foundation for some non-classical logics. (English) Zbl 0867.03023 J. Logic Lang. Inf. 6, No. 1, 63-99 (1997). MSC: 03G99 68T30 68P15 PDFBibTeX XMLCite \textit{P. Pagliani}, J. Logic Lang. Inf. 6, No. 1, 63--99 (1997; Zbl 0867.03023) Full Text: DOI
Mason, Ian A. A first order logic of effects. (English) Zbl 0901.68182 Theor. Comput. Sci. 185, No. 2, 277-318 (1997). MSC: 68T15 03B70 PDFBibTeX XMLCite \textit{I. A. Mason}, Theor. Comput. Sci. 185, No. 2, 277--318 (1997; Zbl 0901.68182) Full Text: DOI
Su, Kaile; Ding, Decheng; Chen, Huowang A three-valued quantificational logic of context. (English) Zbl 0881.03015 Jiang, Tao (ed.) et al., Computing and combinatorics. 3rd annual international conference, COCOON ’97. Shanghai, China. August 20–22, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1276, 343-352 (1997). MSC: 03B45 68T27 03B50 PDFBibTeX XMLCite \textit{K. Su} et al., Lect. Notes Comput. Sci. 1276, 343--352 (1997; Zbl 0881.03015)
Troelstra, A. S.; Schwichtenberg, H. Basic proof theory. (English) Zbl 0868.03024 Cambridge Tracts in Theoretical Computer Science. 43. Cambridge: Cambridge University Press. xi, 343 p. (1996). Reviewer: H.Pfeiffer (Hannover) MSC: 03F03 03-02 03-01 68N17 03F05 03B40 03G30 03B45 03F30 03F35 PDFBibTeX XMLCite \textit{A. S. Troelstra} and \textit{H. Schwichtenberg}, Basic proof theory. Cambridge: Cambridge University Press (1996; Zbl 0868.03024)
Farmer, William M.; Guttman, Joshua D.; Thayer, F. Javier Contexts in mathematical reasoning and computation. (English) Zbl 0836.68107 J. Symb. Comput. 19, No. 1-3, 201-216 (1995). MSC: 68T15 68W30 03B35 PDFBibTeX XMLCite \textit{W. M. Farmer} et al., J. Symb. Comput. 19, No. 1--3, 201--216 (1995; Zbl 0836.68107) Full Text: DOI
Buvač, Saša; Buvač, Vanja; Mason, Ian A. Metamathematics of contexts. (English) Zbl 0844.03014 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2-4, 263-301 (1995). Reviewer: J.Šefránek (Bratislava) MSC: 03B60 68T27 03B45 PDFBibTeX XMLCite \textit{S. Buvač} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2--4, 263--301 (1995; Zbl 0844.03014)
Walker, David W. Erratum to: “The design of a standard message passing interface for distributed memory concurrent computers”. (English) Zbl 0822.68003 Parallel Comput. 20, No. 8, 1215 (1994). MSC: 68M01 68M10 68Q10 PDFBibTeX XMLCite \textit{D. W. Walker}, Parallel Comput. 20, No. 8, 1215 (1994; Zbl 0822.68003) Full Text: DOI
Walker, David W. The design of a standard message passing interface for distributed memory concurrent computers. (English) Zbl 0805.68012 Parallel Comput. 20, No. 4, 657-673 (1994). MSC: 68M01 68M10 68Q10 PDFBibTeX XMLCite \textit{D. W. Walker}, Parallel Comput. 20, No. 4, 657--673 (1994; Zbl 0805.68012) Full Text: DOI
Skjellum, Anthony; Smith, Steven G.; Doss, Nathan E.; Leung, Alvin P.; Morari, Manfred The design and evolution of Zipcode. (English) Zbl 0825.68146 Parallel Comput. 20, No. 4, 565-596 (1994). MSC: 68-XX PDFBibTeX XMLCite \textit{A. Skjellum} et al., Parallel Comput. 20, No. 4, 565--596 (1994; Zbl 0825.68146) Full Text: DOI Link
Hughes, John; Launchbury, John Relational reversal of abstract interpretation. (English) Zbl 0784.68056 J. Log. Comput. 2, No. 4, 465-482 (1992). MSC: 68Q55 PDFBibTeX XMLCite \textit{J. Hughes} and \textit{J. Launchbury}, J. Log. Comput. 2, No. 4, 465--482 (1992; Zbl 0784.68056) Full Text: DOI
Drášil, Milan A grammatical inference for C-finite languages. (English) Zbl 0703.68069 Arch. Math., Brno 25, No. 3, 163-173 (1989). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Drášil}, Arch. Math., Brno 25, No. 3, 163--173 (1989; Zbl 0703.68069) Full Text: EuDML
Ito, M.; Shyr, H. J.; Thierrin, G. Disjunctive languages and compatible orders. (English) Zbl 0674.20040 RAIRO, Inf. Théor. Appl. 23, No. 2, 149-163 (1989). Reviewer: H.Jürgensen MSC: 20M35 20M05 68Q45 94B60 PDFBibTeX XMLCite \textit{M. Ito} et al., RAIRO, Inform. Théor. Appl. 23, No. 2, 149--163 (1989; Zbl 0674.20040) Full Text: DOI EuDML
Monk, Leonard G. Inference rules using local contexts. (English) Zbl 0715.03006 J. Autom. Reasoning 4, No. 4, 445-462 (1988). MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{L. G. Monk}, J. Autom. Reasoning 4, No. 4, 445--462 (1988; Zbl 0715.03006) Full Text: DOI
D’Atri, A.; Di Felice, P.; Lakshmanan, V. S.; Moscarini, M. On global context dependencies and their properties. (English) Zbl 0659.68123 Mathematical fundamentals of database systems, 1st Symp., Dresden/GDR 1987, Lect. Notes Comput. Sci. 305, 71-79 (1988). Reviewer: S.Luchian MSC: 68P20 PDFBibTeX XML
Hughes, John Strictness detection in non-flat domains. (English) Zbl 0599.68011 Programs as data objects, Proc. Workshop, Copenhagen/Den. 1985, Lect. Notes Comput. Sci. 217, 112-135 (1986). MSC: 68N01 68Q60 PDFBibTeX XML
Tokuda, Takehiro A fixed-length approach to the design and construction of bypassed LR(k) parsers. (English) Zbl 0512.68071 J. Inf. Process. 6, 23-30 (1983). MSC: 68N20 PDFBibTeX XMLCite \textit{T. Tokuda}, J. Inf. Process. 6, 23--30 (1983; Zbl 0512.68071)
Oguntade, Olufemi O. Towards the psychophysics of humanistic systems. (English) Zbl 0451.92024 Cybernetica 23, 299-323 (1980). MSC: 91E30 91E99 91D99 03A05 94D05 68T99 54A40 PDFBibTeX XMLCite \textit{O. O. Oguntade}, Cybernetica 23, 299--323 (1980; Zbl 0451.92024)