×

Found 78 Documents (Results 1–78)

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
Full Text: DOI

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
Full Text: DOI

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

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
Full Text: DOI

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
Full Text: DOI

Error correction in methylation profiling from NGS bisulfite protocols. (English) Zbl 1460.92154

Elloumi, Mourad (ed.), Algorithms for next-generation sequencing data. Techniques, approaches, and applications. Cham: Springer. 167-183 (2017).
MSC:  92D20
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

On security of a white-box implementation of SHARK. (English) Zbl 1397.94098

Lopez, Javier (ed.) et al., Information security. 18th international conference, ISC 2015, Trondheim, Norway, September 9–11, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23317-8/pbk; 978-3-319-23318-5/ebook). Lecture Notes in Computer Science 9290, 455-471 (2015).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Proofs and contexts: the debate between Bernoulli and Newton on the mathematics of central force motion. (English) Zbl 1335.01016

Rowe, David E. (ed.) et al., A delicate balance: global perspectives on innovation and tradition in the history of mathematics. A Festschrift in honor of Joseph W. Dauben. Cham: Birkhäuser/Springer (ISBN 978-3-319-12029-4/hbk; 978-3-319-36594-7/pbk; 978-3-319-12030-0/ebook). Trends in the History of Science, 67-102 (2015).
MSC:  01A50 01A45
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI arXiv

The intensional use, appellatio rationis and incomplete object descriptions: an analysis of non-extensional contexts in the works by J. Buridan and E. K. Voĭshvillo. (Russian. English summary) Zbl 1308.03024

Karpenko, A. S. (ed.), Logicheskie issledovaniya. 20. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-197-3/hbk). 161-180 (2014).
MSC:  03A05 01A35 03-03
PDFBibTeX XMLCite

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
Full Text: DOI

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
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

A connection between clone theory and FCA provided by duality theory. (English) Zbl 1360.08002

Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 148-163 (2012).
PDFBibTeX XMLCite
Full Text: DOI Link

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
Full Text: DOI

Cardinality transformations in diatonic space. (English) Zbl 1339.00018

Agon, Carlos (ed.) et al., Mathematics and computation in music. Third international conference, MCM 2011, Paris, France, June 15–17, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21589-6/pbk). Lecture Notes in Computer Science 6726. Lecture Notes in Artificial Intelligence, 207-219 (2011).
MSC:  00A65
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

Defining inferential contexts: deduction and abduction. (English) Zbl 1226.03009

Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 511-529 (2009).
MSC:  03A05 03A10
PDFBibTeX XMLCite

Reduced rings, Morita contexts and derivations. (English) Zbl 1207.16003

Kamarul Haili, Hailiza (ed.) et al., Proceedings of the 5th Asian mathematical conference (AMC), June 22–26, 2009, Kuala Lumpur, Malaysia. Vol. I: Pure Mathematics. Penang: Universiti Sains Malaysia, School of Mathematical Sciences (ISBN 978-967-5417-53-5/CD-ROM). 198-205 (2009).
PDFBibTeX XMLCite

The \(\lambda\)-context calculus. (English) Zbl 1278.03036

Pientka, B. (ed.) et al., Proceedings of the second international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2007), Bremen, Germany, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 196, 19-35 (2008).
MSC:  03B40 03B70
PDFBibTeX XMLCite
Full Text: Link

Injective Morita contexts (revisited). (English) Zbl 1182.16003

Brzeziński, Tomasz (ed.) et al., Modules and comodules. Proceedings of the international conference, Porto, Portugal, September 6–8, 2006. Dedicated to Robert Wisbauer on the occasion of his 65th birthday. Basel: Birkhäuser (ISBN 978-3-7643-8741-9/hbk). Trends in Mathematics, 1-30 (2008).
MSC:  16D90 16S90
PDFBibTeX XMLCite
Full Text: arXiv

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI Link

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
Full Text: DOI

Galois corings applied to partial Galois theory. (English) Zbl 1085.16029

Kalla, Shyam L. (ed.) et al., Proceedings of the international conference on mathematics and its applications, ICMA 2004, Kuwait, April 5–7, 2004. Kuwait: Kuwait University, Department of Mathematics and Computer Science; Kuwait: Kuwait Foundation for the Advancement of Sciences (KFAS). 117-134 (2005).
MSC:  16W30 16W22 16D90
PDFBibTeX XMLCite
Full Text: arXiv

Rationality properties for Morita contexts associated to corings. (English) Zbl 1080.16039

Caenepeel, Stefaan (ed.) et al., Hopf algebras in noncommutative geometry and physics. Proceedings of the conference on Hopf algebras and quantum groups, Brussels, Belgium, May 28–June 1, 2002. New York, NY: Marcel Dekker (ISBN 0-8247-5759-9/pbk). Lecture Notes in Pure and Applied Mathematics 239, 113-136 (2005).
MSC:  16W30 16D90
PDFBibTeX XMLCite

On coseparable and biseparable corings. (English) Zbl 1082.16042

Caenepeel, Stefaan (ed.) et al., Hopf algebras in noncommutative geometry and physics. Proceedings of the conference on Hopf algebras and quantum groups, Brussels, Belgium, May 28–June 1, 2002. New York, NY: Marcel Dekker (ISBN 0-8247-5759-9/pbk). Lecture Notes in Pure and Applied Mathematics 239, 71-87 (2005).
PDFBibTeX XMLCite
Full Text: arXiv

Morita contexts for corings and equivalences. (English) Zbl 1080.16033

Caenepeel, Stefaan (ed.) et al., Hopf algebras in noncommutative geometry and physics. Proceedings of the conference on Hopf algebras and quantum groups, Brussels, Belgium, May 28–June 1, 2002. New York, NY: Marcel Dekker (ISBN 0-8247-5759-9/pbk). Lecture Notes in Pure and Applied Mathematics 239, 1-19 (2005).
MSC:  16W30 16D90 16S40
PDFBibTeX XMLCite
Full Text: arXiv

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
Full Text: DOI

What makes expressions meaningful? A reflection on contexts and actions. (English) Zbl 1060.03022

Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 625-644 (2004).
MSC:  03A05
PDFBibTeX XMLCite

Galois corings from the descent theory point of view. (English) Zbl 1082.16043

Janelidze, George (ed.) et al., Galois theory, Hopf algebras, and semiabelian categories. Papers from the workshop on categorical structures for descent and Galois theory, Hopf algebras, and semiabelian categories, Toronto, ON, Canada, September 23–28, 2002. (ISBN 0-8218-3290-5/hbk). Fields Institute Communications 43, 163-186 (2004).
MSC:  16W30 16D90 18D10
PDFBibTeX XMLCite
Full Text: arXiv

Morita contexts, idempotents, and Hochschild cohomology – with applications to invariant rings. (English) Zbl 1062.16012

Avramov, Luchezar L. (ed.) et al., Commutative algebra. Interactions with algebraic geometry. Proceedings of the international conference, Grenoble, France, July 9–13, 2001 and the special session at the joint international meeting of the American Mathematical Society and the Société Mathématique de France, Lyon, France, July 17–20, 2001. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3233-6/pbk). Contemp. Math. 331, 25-53 (2003).
PDFBibTeX XMLCite
Full Text: arXiv

Mathematical support for empirical theory building. (English) Zbl 1045.91509

Delugach, Harry S. (ed.) et al., Conceptual structures: broadening the base. 9th international conference, ICCS 2001, Stanford, CA, USA, July 30 – August 3, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42344-3). Lect. Notes Comput. Sci. 2120, 169-186 (2001).
MSC:  91C99 03B80
PDFBibTeX XMLCite
Full Text: Link

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

Algebras of semiconcepts and double Boolean algebras. (English) Zbl 0986.03049

Chajda, I. (ed.) et al., Contributions to general algebra 13. Proceedings of the 60th workshop on general algebra “60. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 22-25, 2000 and of the summer school ’99 on general algebra and ordered sets, Velké Karlovice, Czech Republic, August 30-September 4, 1999. Klagenfurt: Verlag Johannes Heyn. Contrib. Gen. Algebra. 13, 175-188 (2001).
MSC:  03G25 03C05
PDFBibTeX XMLCite

Hopf algebra coaction and its application to group-graded rings. (English) Zbl 0978.16038

Birkenmeier, Gary F. (ed.) et al., International symposium on ring theory. Proceedings of the 3rd Korea-China-Japan international symposium, held jointly with the 2nd Korea-Japan joint ring theory seminar, Kyongju, Korea, June 28-July 3, 1999. Boston, MA: Birkhäuser. Trends in Mathematics. 199-206 (2001).
MSC:  16W30 16W50 16S40 16W22
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

On the notion of orders in the context of associative pairs. (English) Zbl 0974.16024

Castellón Serrano, A. (ed.) et al., Proceedings of the international conference on Jordan structures, Málaga, Spain, June 1997. Málaga: Univ. de Málaga, Departamento de Algebra, Geometria y Topologia. 25-30 (1999).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

The Grothendieck groups of rings of Morita contexts. (English) Zbl 0979.16007

Wang, E-Fang (ed.) et al., Group theory. Proceedings of the 1996 international conference, Beijing, China, May 27-31, 1996. Singapore: Springer. 88-97 (1998).
PDFBibTeX XMLCite

Changing contexts and shifting assertions. (English) Zbl 0959.03018

Aliseda, Atocha (ed.) et al., Computing natural language. Based on the 4th CSLI workshop on logic, language, and computation, Stanford, CA, USA, June 2-4, 1995. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 81, 51-65 (1998).
MSC:  03B65
PDFBibTeX XMLCite

Strongly graded coalgebras and crossed coproducts. (English) Zbl 0915.16030

Dikranjan, Dikran (ed.) et al., Abelian groups, module theory, and topology. Proceedings in honour of Adalberto Orsatti’s 60th birthday, Padua, Italy, 1997. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 201, 131-142 (1998).
MSC:  16W30 16W50 16S35
PDFBibTeX XMLCite

Hopficity and co-Hopficity of generalized matrix rings. (English) Zbl 0930.16004

Seddighi, K. (ed.), Proceedings of the 27th annual Iranian mathematics conference, Shiraz, Iran, March 27–30, 1996. Shiraz: Shiraz University, Dept. of Mathematics, 101-106 (1996).
MSC:  16D90 16W20 16S50
PDFBibTeX XMLCite

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software