Logics for computer and data sciences, and artificial intelligence

DOI10.1007/978-3-030-91680-0zbMath1498.68003OpenAlexW4206684896MaRDI QIDQ2057567

Lech T. Polkowski

Publication date: 6 December 2021

Published in: Studies in Computational Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-91680-0

zbMATH Keywords

rough setsmodal logicfirst-order logicpropositional logicmany-valued logictemporal logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70)

Related Items

A machine learning approach to enhance the SUPG stabilization method for advection-dominated differential problems