×

Found 406 Documents (Results 1–100)

BTPK-based interpretable method for NER tasks based on Talmudic public announcement logic. (English) Zbl 1535.68409

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 127-133 (2023).
MSC:  68T50 68T07 68T27
PDFBibTeX XMLCite
Full Text: arXiv Link

Undecidability of the submonoid membership problem for free nilpotent group of class \(l\geqslant 2\) of sufficiently large rank. (English. Russian original) Zbl 1535.20164

Izv. Math. 87, No. 4, 798-816 (2023); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 87, No. 4, 166-185 (2023).
PDFBibTeX XMLCite
Full Text: DOI MNR

MTGL-ADMET: a novel multi-task graph learning framework for ADMET prediction enhanced by status-theory and maximum flow. (English) Zbl 1530.92088

Tang, Haixu (ed.), Research in computational molecular biology. 27th annual international conference, RECOMB 2023, Istanbul, Turkey, April 16–19, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13976, 85-103 (2023).
MSC:  92C50 68T05 92-10
PDFBibTeX XMLCite
Full Text: DOI

Boole’s untruth tables: the formal conditions of meaning before the emergence of propositional logic. (English) Zbl 07740510

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 119-149 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Algebras, lattices, varieties. Volume III. (English) Zbl 1511.08001

Mathematical Surveys and Monographs 269. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6798-2/pbk; 978-1-4704-7130-9/ebook). xvii, 430 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Leveraging integer linear programming to learn optimal fair rule lists. (English) Zbl 1502.68253

Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 103-119 (2022).
MSC:  68T05 90C10
PDFBibTeX XMLCite
Full Text: DOI HAL

Simplicity creates inequity: implications for fairness, stereotypes, and interpretability. (English) Zbl 07765142

Khuller, Samir (ed.) et al., Proceedings of the 53rd annual ACM SIGACT symposium on theory of computing, STOC ’21, virtual, Italy, June 21–25, 2021. New York, NY: Association for Computing Machinery (ACM). 7 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Mining interpretable spatio-temporal logic properties for spatially distributed systems. (English) Zbl 1497.68433

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 91-107 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Interpretable exact linear reductions via positivity. (English) Zbl 1489.92059

Cinquemani, Eugenio (ed.) et al., Computational methods in systems biology. 19th international conference, CMSB 2021, Bordeaux, France, September 22–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12881, 91-107 (2021).
MSC:  92C45 92C42 92-08
PDFBibTeX XMLCite
Full Text: DOI arXiv

Trinity: trust, resilience and interpretability of machine learning models. (English) Zbl 07526410

Kamhoua, Charles A. (ed.) et al., Game theory and machine learning for cyber security. Piscataway, NJ: IEEE Press; Hoboken, NJ: John Wiley & Sons. 317-333 (2021).
MSC:  68M25 68T05 91A80
PDFBibTeX XMLCite
Full Text: DOI

A deeper look at machine learning-based cryptanalysis. (English) Zbl 07440600

Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2021. 40th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, October 17–21, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12696, 805-835 (2021).
MSC:  68Txx 68P25 94A60
PDFBibTeX XMLCite
Full Text: DOI

Explainable fuzzy systems. Paving the way from interpretable fuzzy systems to explainable AI systems. (English) Zbl 1470.93089

Studies in Computational Intelligence 970. Cham: Springer (ISBN 978-3-030-71097-2/hbk; 978-3-030-71098-9/ebook). xxxi, 232 p. (2021).
MSC:  93C42 03E72 93B51
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software