×

Found 8,651 Documents (Results 1–100)

100
MathJax

Higher-order logic as a lingua franca for logico-pluralist argumentation. (English) Zbl 07582525

Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 83-94 (2022).
MSC:  68T27 03-XX
PDF BibTeX XML Cite

Principle of constructing procedures for planning behavior of autonomous intelligent robots based on polyvariable conditionally dependent predicates. (English. Russian original) Zbl 07578836

Autom. Remote Control 83, No. 4, 613-625 (2022); translation from Avtom. Telemekh. 2022, No. 4, 140-154 (2022).
MSC:  68Txx
PDF BibTeX XML Cite
Full Text: DOI

Prediction and analysis for knowledge representation and machine learning. (English) Zbl 1487.68017

Boca Raton, FL: CRC Press (ISBN 978-0-367-64910-4/hbk; 978-0-367-64911-1/pbk; 978-1-003-12689-8/ebook). xii, 219 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Knowledge graphs. (English) Zbl 1475.68007

Synthesis Lectures on Data, Semantics, and Knowledge 22. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-63639-237-0/hbk; 978-1-63639-235-6/pbk). xix, 257 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Linguistic descriptions of data via fuzzy formal concept analysis. (English) Zbl 1471.68276

Harmati, István Á. (ed.) et al., Computational intelligence and mathematics for tackling complex problems 3. Selected papers based on the presentations at the ESCIM-2020, virtual, 2020 and 2021. Cham: Springer. Stud. Comput. Intell. 959, 119-125 (2022).
MSC:  68T30 68P15
PDF BibTeX XML Cite
Full Text: DOI

Characterization of the infimum of classes induced by an attribute reduction in FCA. (English) Zbl 1471.68275

Harmati, István Á. (ed.) et al., Computational intelligence and mathematics for tackling complex problems 3. Selected papers based on the presentations at the ESCIM-2020, virtual, 2020 and 2021. Cham: Springer. Stud. Comput. Intell. 959, 73-79 (2022).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI

On the KLM properties of a fuzzy DL with typicality. (English) Zbl 07542368

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 557-571 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI arXiv

Right adjoint algebras versus operator left residuated posets. (English) Zbl 07535953

Ramanna, Sheela (ed.) et al., Rough sets. International joint conference, IJCRS 2021, Bratislava, Slovakia, September 19–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12872, 180-191 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Towards knowledge exchange: state-of-the-art and open problems. (English) Zbl 1490.68217

Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 13-27 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI

Filters, ideals and congruences on double Boolean algebras. (English) Zbl 07493566

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, 270-280 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI

Decision concept lattice vs. decision trees and random forests. (English) Zbl 07493564

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, 252-260 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Sandwich: an algorithm for discovering relevant link keys in an LKPS concept lattice. (English) Zbl 07493563

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, 243-251 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI

Force-directed layout of order diagrams using dimensional reduction. (English) Zbl 07493562

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, 224-240 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Visualization of statistical information in concept lattice diagrams. (English) Zbl 07493561

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, 208-223 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI

Towards interactive transition from AOC poset to concept lattice. (English) Zbl 07493560

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, 192-207 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI

Triadic exploration and exploration with multiple experts. (English) Zbl 07493559

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, 175-191 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Clustering and identification of core implications. (English) Zbl 07493557

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, 138-154 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI

An incremental recomputation of from-below Boolean matrix factorization. (English) Zbl 07493556

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, 125-137 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI

Pruning techniques in LinCbO for computation of the Duquenne-Guigues basis. (English) Zbl 07493554

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, 91-106 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI

A new kind of implication to reason with unknown information. (English) Zbl 07493553

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, 74-90 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI

Enumerating maximal consistent closed sets in closure systems. (English) Zbl 07493552

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, 57-73 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Representing partition lattices through FCA. (English) Zbl 07493549

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, 3-19 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI arXiv

ProvCaRe: a large-scale semantic provenance resource for scientific reproducibility. (English) Zbl 07469478

Sikos, Leslie F. (ed.) et al., Provenance in data science. From data models to context-aware knowledge graphs. Cham: Springer. Adv. Inf. Knowl. Process., 59-73 (2021).
MSC:  68T09 68T30
PDF BibTeX XML Cite
Full Text: DOI

Contextualized knowledge graphs in communication network and cyber-physical system modeling. (English) Zbl 07469477

Sikos, Leslie F. (ed.) et al., Provenance in data science. From data models to context-aware knowledge graphs. Cham: Springer. Adv. Inf. Knowl. Process., 47-58 (2021).
MSC:  68T09 68T30
PDF BibTeX XML Cite
Full Text: DOI

The right (provenance) hammer for the job: a comparison of data provenance instrumentation. (English) Zbl 07469476

Sikos, Leslie F. (ed.) et al., Provenance in data science. From data models to context-aware knowledge graphs. Cham: Springer. Adv. Inf. Knowl. Process., 25-45 (2021).
MSC:  68T09 68T30
PDF BibTeX XML Cite
Full Text: DOI

On some associations between mathematical morphology and artificial intelligence. (English) Zbl 1484.68176

Lindblad, Joakim (ed.) et al., Discrete geometry and mathematical morphology. First international joint conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12708, 457-469 (2021).
PDF BibTeX XML Cite
Full Text: DOI HAL

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

all top 3

Software