×

Found 368 Documents (Results 1–100)

100
MathJax

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
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software