×

Found 93 Documents (Results 1–93)

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

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

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

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

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

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

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

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

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

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

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

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software