×

Found 8,746 Documents (Results 1–100)

100
MathJax

Calculi and models for non-Horn knowledge bases containing neural and evaluable predicates. (English) Zbl 07582520

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

Reasoning and language at work. A critical essay. (English) Zbl 07415757

Studies in Computational Intelligence 991. Cham: Springer (ISBN 978-3-030-86087-5/hbk; 978-3-030-86090-5/pbk; 978-3-030-86088-2/ebook). xxiii, 108 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Applications of mathematics of uncertainty. Grand challenges – human trafficking – coronavirus – biodiversity and extinction. (English) Zbl 1479.03002

Studies in Systems, Decision and Control 391. Cham: Springer (ISBN 978-3-030-86995-3/hbk; 978-3-030-86996-0/ebook). xv, 302 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Rough sets and topology in AST: a study via higher-order fuzzy logic. (English) Zbl 1471.03075

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, 127-138 (2022).
MSC:  03E70 03B52
PDF BibTeX XML Cite
Full Text: DOI

Approximating approximate reasoning: fuzzy sets and the Ershov hierarchy. (English) Zbl 07547755

Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 1-13 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI arXiv

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